Структура программы

Типовая программа содержит 5 разделов:
A) domains <описание доменов>(заголовок области, описание различных классов объектов программы);
B) database < описание предикатов динамической базы данных>(содержит утверждения базы данных, которые являются предикатами динамической базы; если программа такой базы данных не требует, то этот раздел может быть опущен);
C) predicates <описание предикатов> – служит для описания предикатов);
D) goаl <целевое утверждение> – (описание внутренней цели и подцелей);
E) clauses <утверждения> – все правила и факты, известные априори.
С целью упрощения организации фактов и правил ПРОЛОГ поддерживает составные объекты-структуры, которые строятся из шести базовых предписанных классов (доменов).

Стандартные типы доменов приведены в таблице:

Пример программы:
domains (раздел описания),
lich (человек), uvl (увлечение) = symbol,
predicates (отношение, предикат),
lubit (lich, uvl) (любит человек увлечение),
clauses (факты, правила),
lubit (lena, ping_ pong),
lubit (ivan, futbol),
lubit (tolya, basketbol),
lubit (mark, plavat),
lubit (lena, plavat),
lubit (boria, X): – lubit (tolya, X). –Боря любит то же, что любит Толя,
Alt+C – компиляция, Alt+R – запуск на счет, Alt+F-?
Вопросы, беседа с программой:
lubit (lena, plavat) – вопрос (истинно),
lubit (boria, futbol) – (нетрешения),