вніцтвом А. Колмера в 1973 р. Следующая версия, виконан Д. Уорен - Единбурзького реалізація Прологу на машині DEC - 10, перевела Цю мову и вместе с нею логічне програмування з площини теоретичністю ДОСЛІДЖЕНЬ у площинах практичного програмування, Зробі ее корисностям інструментом для розв язання різніх завдань штучного інтелекту. Про Великі возможности мови Пролог свідчіть и тієї факт, что Японські Вчені Обрали его як базовий мову для создания обчислювальних систем п ятого поколение.
Для Прологу характерним є тією факт, что програміст винен мислити в термінах цілей. Що під ЦІМ слід розуміті? Колі програмуємо, застосовуючі мову низьких уровня, то повінні опісуваті, що треба сделать ЕОМ. Колі ж вікорістовується мова програмування високого уровня, тоді необходимо вказаті, Що саме нужно сделать. На Відміну Від традіційніх мов, Пролог требует от програміста Сменить форму мислення относительно написання програм. Прологівська программа представляет собою набор визначеня СИТУАЦІЙ и формулювань завдань, вместо того, щоб детально опісуваті варіанти розв язків останніх. Основою Прологу є ограниченной, но на диво потужній и гнучкий набор програмних механізмів, Який Включає в собі: співставлення зразків, здавна структур даних типу дерева ї Автоматичне повернення. Назва Пролог утворена як скороченню від программирования в термінах логіки и его можна Віднести до мов програмування, что будують на Описова або ж декларативним підході до програмування.
Можна віділіті дві Рівні характеристики Пролог-програми: декларативний и Процедурний. Перший візначає помощью відношень, Яким винен буті результат роботи програми. Другий - як цею результат Було ОТРИМАНО и Які з відношень реально обробляємих. Пролог-системи значний часть процедурно деталей віконують самостійно без втручання програміста. Останній, таким чином, может более уваги пріділяті лігши декларативним аспекту програми, що не відволікаючісь на організацію процесса Обчислення, если его НЕ хвилює питання ефектівності Обчислення.
Попередньо Пролог належане до теоретичністю мов програмування и более вікорістовувався як інструментарій у наукових дослідженнях. На це вплівало ї том, что довгий годину Вчені США не спріймалі его перевага для розв язання задач штучного інтелекту. Джон Малпас пояснює цею факт тім, что, по перше, среди учених США були сильно ліспівські традиції (мова ЛІСП Створена в Массачусетському технологічному інстітуті) І, по одному, - попереднє знайомство з мовою логічного типу Мікропленнером Було Невдалий. Остання булу реалізована очень неефективно. Та зі створеня швидких інтерпретаторів и компіляторів Пролог зайнять Почесне місце НЕ только среди найбільш вживаних мов розв язання задач штучного інтелекту, а й среди мов, Які Використовують спеціалістами в реляційніх базах даних, програмній інженерії, при задаванні знань, в експертних системах ТОЩО.
Резюмуючі викладеня Ранее, можна віділіті следующие Преимущества Прологу:
. Ця мова має чітку математичну основу, около до людського мислення.
. Використання єдиної мови спеціфікацій (числення предікатів) для описування вимог до програм и Опису самой програми на Пролозі дозволяє поєднуваті процес написання програми та ее веріфікацію.
. ! Застосування відношення як базового Поняття мови надає змогу Зручне працювати з реляційнімі базами даних.
. Паралельний принцип организации Обчислення дозволяє просто й природно реалізовуваті Пролог-програму на паралельних комплексі.
. Пролог підтрімує обчислення, Які базуються на пошуці ??через зворотнього ланцюжок міркувань, что Забезпечує ефективність использование Прологу при побудові експертних систем.
. Пролог может зберігаті помощью логічніх змінніх проміжні результати Обчислення для следующего использование. Це дозволяє природно вірішуваті проблему организации логічного Виведення.
Поряд з Перевага фахівці Зазначаються Такі ваді Прологу.
. Складність розуміння процесса виконан програми на Пролозі, пов язані з не бачимо порядком побудова Виведення результату програмою.
. Недосконалі засоби для віяву екстра логічніх властівостей (оператори дінамічного Приєднання та вилучення тверджень).
. Відсутність Досконалий ЗАСОБІВ для розробки и налагодження великих програм.
. Недостатні засоби ПІДТРИМКИ модульного принципом программирования.
. 2 Чисельність предікатів - математична основа прологу
У Основі Прологу лежить Поняття відношення, Пожалуйста взяти з предикатних логік. Слово предикат Належить до розділу математичної логіки, в якому досліджуються операции над логічнімі вісловленнямі. У логіці предікатів під таки...
