Prolog: X est le grand-père de Y

Question

On suppose que les faits suivants sont déjà entrées dans la base de données Prolog:

father(X, Y)  // X is the father of Y 
mother(X, Y)  // X is the mother of Y 
male(X)   // X is a male 
female(X)  // X is a female 
parent(X, Y)  // X is a parent of Y 
diff(X, Y)  // X and Y are different 

(1) Maintenant, ajoutez une règle Prolog pour grandpa_of (X, Y) où « X est le grand-père de Y »

(2) Ajouter une autre règle pour frères et soeurs (X, Y) où "X est le frère de Y"

Mes pensées:

question 1:

Je suis confus sur la façon dont je peux retrouver les parents des parents, tout ce que j'ai est jusqu'à présent

grandpa_of (X, Y): - mâle (X), ...

Question 2:

frères et soeurs (X, Y): - parent (P, X), parent (P, Y), diff (X, Y)

Answer 1

Je pense que Jason signifie grandpa_of(X,Y) :- father(X,P), parent(P,Y).

Answer 2

Il a été longtemps ... Le premier est quelque chose comme ceci:

grandpa_of(X, Y) :- father(X, P), father(P, Y). 

trop longtemps ... :-P