мови на іншу;
реалізація експертних систем и оболонок експертних систем;
управління виробничими процесами;
доведення теорем и пакети штучного інтелекту;
розробка швидких прототіпів прикладних програм;
Загальні Висновки
Логічне програмування - це відносно новий перспективний напрямок сучасного програмування, что виник у рамках робіт зі создания штучного інтелекту. Свою Назву логічне програмування здобуло від математичної логіки и базується на одному з ее розділів - логіці предікатів Першого порядку.
Основна мета создания логічного програмування - Підвищення інтелектуальності комп ютерів. Однак роль логічного програмування ЦІМ НЕ обмежується: крім Усього Іншого, воно Було взято за концептуальну основу відомого японського проекту ЕОМ 5-го поколение. Мета даного проекту - створення систем ОБРОБКИ информации, что базуються на знаннях и могут давати експертні консультації Користувачами. Известно, что для того, щоб Скласти програму розв язку деякої задачі мовою процедурного типу, та патенти Розробити ее алгоритм и у подалі транслюваті его в набор базових конструкцій (циклі, розгалуження, процедури-підпрограмі та ін.) С помощью й достатньо про ємного набору Операторів обраної мови. Відповідно до цього, програміст винен спочатку продуматі весь план розв язку задачі, а потім деталізуваті его до найменших подробіць. Крім того, процедурні мови, у своїй більшості, дозволяють оперуваті только тимі типами даних, Які могут зберігатіся у пам'яті ЕОМ, и только тимі операціямі, Які вона у змозі Виконувати. Як правило, ЦІ тіпі даних Елементарні, операции над ними й достатньо прімітівні, того складання даже простої програми на мовах низьких уровня (до якіх відносяться процедурні) превращается у Довгого копіткій процес и виробляти до Великої кількості помилок, поиск и виправлення якіх часто требует даже более годині , чем безпосереднє написання програми.
При вікорістанні мови логічного програмування Основна увага пріділяється опис структури прикладної задачі, а не розробці Наказів комп ютерів про том, что Йому нужно делать. Тут відсутнє Традиційне Поняття алгоритму розв язку задачі. Для того, щоб розв'язати Деяк задачу, та патенти й достатньо детально описати дані умови задачі І, например, путем Запитів до програми здобудуть потрібні ВІДПОВІДІ. При цьом програміст НЕ вказує, як перевіріті тверджень, сформульоване у виде запиту, - программа сама або доведе істінність тверджень, або повідоміть про том, что тверджень є Хибне, или что про нього Нічого нельзя Сказати на Основі даних умів.
Тому логічне програмування требует Іншого стилю мислення, відмові від прийнятя програмістськіх стереотіпів: вместо того, щоб Задати складних послідовність команд, Які б Вказував машині на виконан тихий чі других Дій для розв язку задачі, необходимо описати ее Зміст у термінах про єктів и відношень между ними. Отже, вместо алгоритмом розв язку задачі програміст складає ее логічну спеціфікацію. Для певної мови логічного програмування Специфікація задачі (опису проблеми) розглядається як фактична програма. Зауважімо, что таким підходом до розв язування задач візначається суть декларативного програмування.
Найбільш повно и строго Ідеї логічного програмування реалізувалісь у мові програмування Пролог. Про це говорити и назва мови - программирования на Основі логіки. Розробка мови Пролог, первісній варіант якої Було Створено А.Кольмерое у 1972 р. у Марсельському університеті, Зробі логічне програмування практичним інструментом, доступним широкому загалу програмістів. Потрібно Зазначити, что Пролог НЕ єдина мова програмування, на Якій можна писати програми з використанн концепцій логічного програмування.
Список використаних джерел
1.Братко І. Програмування на мові Пролог для штучного інтелекту: Пер.с англ.- М .: Світ, 1990
.Вівчення експертних систем у курсі основи інформатики и обчіслювальної техніки: Методичні рекомендації/Укл. Ю.С.Рамській, Н.Р. Балик.- 1С: УДПУ, +1995
.В.Е. Хачатрян. Логічне програмірованніе. Бєлгород, 2000
.Жалдак М.І., Рамській Ю.С. Інформатика: Навчальний посібник/За ред. М.І. Шкіля.- 1С: Вища школа, 1991.
.У.Клоксін, К. Мелліш Програмування на мові Пролог.
.О.М. Спірін. Початки штучних інтелекту - Житомир: Видавництво ЖДУ, 2004. - 172 ст.
.С.П. Хабаров Використання Турбо-Прологу при проектуванні баз даних і знань. Санкт-Петербург, 2000.
.Рамській Ю.С., Балик Н.Р. Методичні основи Вивчення експертних систем у школі.- Київ: Логос, 1997..
.Рамській Ю.С. Логічні основи інформатики.- Київ, 2 003
.Шрайнер П.А. Основи програмування мо...
