Базовые понятия языка Пролог. Краткое описание языка Пролог

Краткое описание языка Пролог

Окей Отмена

Сохранить F2

Сохранить как...

Режим «Сохранить как...» из меню «Файл» служит для сохранения файла, открытого в текущем окне, под другим именем. При выполнении этой операции на экране появится следующее окно, в котором нужно будет указать новое имя файла:

[_] ----- Сохранить как ----

Новое имя: D:\PROLOG\HOMES.PRL

При указании в меню «Работы с файлами» режима «Смена каталога» на экране ЭВМ появится панель «Смена каталога», в которой указывается текущий каталог или устройство.

Для завершения работы с интерпретатором необходимо перейти в меню «Файл» и указать в нем подпункт «Выход». Этого же можно достичь нажатием клавиш Alt-X.

Если в каком-либо окне осталась измененная, но несохраненная программа или база данных, то вы будете предупреждены об этом.

Основными понятиями в языке Пролог являются факты, правила и вопросы. Из фактов и правил образуются описания данных, процедур и программы на языке Пролог. Вопросы - это основное средство ведения диалога с базами знаний и программами, имеющимися в памяти ЭВМ.

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

мама (зина, вова); - Зина - мама Вовы

папа (миша, вова); - Миша - папа Вовы

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

данные:

<факт>; [<факт>;...]

Правила используются для описания определений, процедур принятия решений и обработки данных. Примеры использования правил для описания определения понятия «родитель»:

родитель (х,у) папа (х,у); - Родитель — это папа или мама

родитель (х,у) мама (х,у);

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

процедура:

[<факты>] <правило>; [<правило>;...]

Пример описания рекурсивной процедуры, в которой определяемое понятие задается через самое себя:

предок (х,у) родитель (х,у);

предок (x,z) родитель (х,у), предок (y,z);

Программа на Прологе — это совокупность процедур над определенными данными:

программа:

<процедуры>; [<данные>;]

Описания баз данных на Прологе образуют совокупность описаний данных:

база данных:

<данные>; [<данные>;... ]

Базы знаний на Прологе описываются наборами фактов и правил определения обобщенных понятий над ними:

база знаний:

<данные>; <правила>;

Вопросы в языке Пролог служат запросами к базам данных и знаний, а также обращениями к процедурам и программам. Примеры вопросов:

? мама (х,вова)?

предок (х,вова)

Дата добавления: 2014-12-27