Рассмотрим классическую программу родственных отношений на языке Пролог
Дано дерево родственных отношений вида:
Рис.2.2.Дерево родственных отношений
Предположим, надо определить, кто является сестрой Ann?
Тот факт, что Tom является родителем Bob (стрелки на рисунке) можно записать следующим образом:
parent(tom,bob).
parent- имя отношения –предикат
tom,bob –параметры (аргументы) отношения.
Имена собственные являются константами и в Прологе пишутся со строчной буквы.
Программа на Прологе для ответа на вопрос, кто является сестрой Ann имеет следующий вид: