Имеется N объектов и заданы отношения между ними: родитель, мужчина - Prolog

Формулировка задачи:

Задача. Имеется N объектов и заданы отношения между ними: родитель, мужчина, женщина. Требуется определить новое отношение и выявить круг лиц, ему удовлетворяющих. определить предикат внуки и найти всех внуков и внуков конкретного лица.

Код к задаче: «Имеется N объектов и заданы отношения между ними: родитель, мужчина - Prolog»

textual
predicates
 
father(symbol,symbol)
mother(symbol,symbol)
grandson(symbol,symbol)
man(symbol)
woman(symbol)
 
clauses
 
man(bob).
man(grig).
man(nick).
woman(kate).
woman(jessy).
father(bob,grig).
father(grig,jessy).
father(grig,nick).
mother(kate,grig).
 
grandson(X,Y) :- man(X), father(Z,X), father(Y,Z).
grandson(X,Y) :- man(X), mother(Z,X), father(Y,Z).
grandson(X,Y) :- man(X), mother(Z,X), mother(Y,Z).
grandson(X,Y) :- man(X), father(Z,X), mother(Y,Z).
 
grandson(X,Y) :- woman(X), father(Z,X), father(Y,Z).
grandson(X,Y) :- woman(X), mother(Z,X), father(Y,Z).
grandson(X,Y) :- woman(X), mother(Z,X), mother(Y,Z).
grandson(X,Y) :- woman(X), father(Z,X), mother(Y,Z).

12   голосов, оценка 4.000 из 5


СОХРАНИТЬ ССЫЛКУ