ЛОИИ методичка 2015

Пример построения базы правил на Пролог

родитель (иван, маша).

родитель (иван, денис).

мужчина (иван).

мужчина (денис).

женщина (маша).

Вопросы системе:

? - родитель (Иван, Маша)

Да

? - родитель (Денис, Маша)

Нет

В вопросах можно использовать переменные.

Кто родитель Маши?

? - родитель (Х, маша)

Х = Иван

Кто дочь Ивана?

? - родитель (иван, Х), женщина (Х)

Х = Маша

Определим отношение ребенок. Используем для его определения переменные:

Если Х – родитель У, то У – ребенок Х.

ребенок (У, Х) :- родитель (Х, У).