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

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

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

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

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).
                        