Структура программы на языке Пролог

Программа на Турбо-Прологе может состоять из 6-ти разделов: global constants, domains, global domains, database, predicates, global predicates, clauses, goal, которые следует располагать в данном порядкею Но рассмотрим сначала упрощенный вариант программы на Прологе:

/* */

/*комментарии*/

/* */

domains

/*описания доменов*/

database

/*описание предикатов динамической БД*/

predicates

/*описание предикатов*/

clauses

/*предложения*/

goal

/* целевое утверждение*/

Раздел domains используется для описания доменов. Домены – области определения аргументов предикатов.

Раздел predicates описание предикатов.

database - описание предикатов из динамической базы данных

clauses - предложения

…

goal – цель

Стандартные типы данных:

integer – целочисленный тип

real – вещественный тип

char – символьный тип (‘A’, ‘X’)

string – строковый тип (“qwerty”)

symbol – последовательность символов

file – допустимые в DOS имена файлов

Если используются только стандартные типы данных, то раздел domains может быть опущен.

Ниже приводится пример простейшей программы на Прологе, позволяющей хранить знания и отвечать на запросы о родстве.

predicates

parent(symbol,symbol)

sex(symbol,symbol)

grand_father(symbol,symbol)

clauses

parent(“Alex”,“Mike”).

parent(“Alex”,“Jak”).

parent(“Ivan”,“Alex”).

sex(“Ivan”,“m”).

grand_father(X1,X2):-

parent(X1,Y),

parent(Y,X2),

sex(X1, “m”).

goal

grand_father(X1,“Jak”),write(X1)