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

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

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

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

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

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

данные:

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

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

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

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

процедура:

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

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

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

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

программа:

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

база данных:

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

база знаний:

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

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

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