Общие сведения о языке Пролог

В начале 70-х годов группа специалистов Марсельского университета (Франция)во главе с А. Колмероэ разработала специализированную систему для доказательств теорем. Система доказательств теорем, названная Пролог, воплощала процедурную семантику Р. Ковальского

Первый интерпретатор ПРОЛОГа, написанный на ФОРТРАНе, разработан А.Кольмеро и Ф.Русселем в 1973 году.

С октября 1981 года, когда Япония известила мир программе создания вычислительных машин пятого поколения, в которых язык ПРОЛОГ выбран а качестве базового языка программирования. На протяжении 80-х годов ПРОЛОГ не сходит со страниц многочисленных научных журналов по вычислительной технике и публикаций в области искусственного интеллекта.

Сегодня Пролог – язык, предназначенный для программирования приложений, использующих средства и методы искусственного интеллекта и создания экспертных систем.

В Прологе (Prolog — PROgrammmg LOGic) вы получаете решение задачи логическим выводом из ранее известных положений. Обычно программа на Прологе не является последовательностью действий, — она представляет собой набор фактов с правилами, обеспечивающими получение заключений на основе этих фактов. Поэтому Пролог известен как декларативный язык.

Пролог базируется на предложениях Хорна, являющихся подмножеством формальной системы, называемой логикой предикатов. Логика предикатов — это простейший способ объяснить, как “работает” мышление, и она проще, чем арифметика, которой вы давно пользуетесь.

Пролог использует упрощенную версию синтаксиса логики предикатов, он прост для понимания и очень близок к естественному языку.

Пролог включает механизм вывода, который основан на сопоставлении образцов. С помощью подбора ответов на запросы он извлекает хранящуюся (известную) информацию. Пролог пытается проверить истинность гипотезы (другими словами — ответить на вопрос), запрашивая для этого информацию, о которой уже известно, что она истинна. Прологовское знание о мире — это ограниченный набор фактов (и правил), заданных в программе.

Одной из важнейших особенностей Пролога является то, что в дополнение к логическому поиску ответов на поставленные вами вопросы он может иметь дело с альтернативами и находить все возможные решения. Вместо обычной работы от начала программы до ее конца, Пролог может возвращаться назад и просматривать более одного “пути” при решении всех составляющих задачу частей.

Программист на Прологе описывает объекты и отношения, а затем описывает правила, при которых эти отношения являются истинными.

1. Программы на языке Пролог состоят из двух типов фраз: фактов и правил, также называемых предложениями.

· Факты — это отношения или свойства, о которых известно, что они имеют значение "истина".

· Правила — это связанные отношения; они позволяют Прологу логически выводить одну порцию информации из другой. Правило принимает значение "истина", если доказано, что заданный набор условий является истинным.

2. В Прологе все правила имеют 2 части: заголовок и тело, разделенные специальным знаком:-.

· Заголовок — это факт, который был бы истинным, если бы были истинными несколько условий. Это называется выводом или зависимым отношением.

· Тело — это ряд условий, которые должны быть истинными, чтобы Пролог мог доказать, что заголовок правила истинен.

Как вы уже, наверное, заметили, факты и правила — практически одно и то же, кроме того, что факты не имеют явного тела. Факты ведут себя так, как если бы они имели тело, которое всегда истинно.

По сути, есть только два типа фраз, составляющих язык Пролога: фраза может быть либо фактом, либо правилом.

Факт представляет либо свойство объекта, либо отношение между объектами. Факт самодостаточен. Правило — это свойство или отношение, которое достоверно, когда известно, что ряд других отношений достоверен.

Отношение в Прологе называется предикатом.