 |
 |
 |
 |
|
 |
 |
133
При указании в меню «Работы с файлами» режима «Смена каталога» на экране ЭВМ поя-
вится панель «Смена каталога», в которой указывается текущий каталог или устройство.
Для завершения работы с интерпретатором необходимо перейти в меню «Файл» и указать
в нем подпункт «Выход». Этого же можно достичь нажатием клавиш Alt-X.
Если в каком-либо окне осталась измененная, но несохраненная программа или база дан-
ных, то вы будете предупреждены об этом.
6. Краткое описание языка Пролог
6.1. Базовые понятия языка Пролог
Основными понятиями в языке Пролог являются факты, правила и вопросы. Из фактов и
правил образуются описания данных, процедур и программы на языке Пролог. Вопросы - это ос-
новное средство ведения диалога с базами знаний и программами, имеющимися в памяти ЭВМ.
Факты в Прологе служат для описания конкретных данных и простейших сведений. При-
меры фактов:
мама (зина, вова); - Зина - мама Вовы
папа (миша, вова); - Миша - папа Вовы
Группы фактов могут образовывать данные. Совокупность данных, размещаемых на дис-
ках, образуют базы данных. Общее определение данных в Прологе:
данные:
<факт>; [<факт>;...]
Правила используются для описания определений, процедур принятия решений и обработ-
ки данных. Примеры использования правил для описания определения понятия «родитель»:
родитель (х,у)
папа (х,у); - Родитель — это папа или мама
родитель (х,у)
мама (х,у);
Процедуры образуются из некоторых групп правил. Общая форма описания процедур в
Прологе:
процедура:
[<факты>] <правило>; [<правило>; ...]
Пример описания рекурсивной процедуры, в которой определяемое понятие задается через
самое себя:
предок (х,у)
родитель (х,у);
предок (x,z)
родитель (х,у), предок (y,z);
Программа на Прологе — это совокупность процедур над определенными данными:
программа:
<процедуры>; [<данные>;]
Описания баз данных на Прологе образуют совокупность описаний данных:
база данных:
<данные>; [<данные>; ... ]