Généalogie
Considérons l'arbre généalogique suivant :
Question 1
Coder cet arbre sous forme d'un ensemble de clauses réduites à des faits
en utilisant les conventions suivantes :
- homme(X) : X est un homme
- femme(X) : X est une femme
- enfant(X,Y) : X est un enfant de Y
Question 2
Définir à présent les relations suivantes :
- pere(X,Y) ssi X est le père de Y
- mere(X,Y) ssi X est le mère de Y
- soeur(X,Y) ssi X est la soeur de Y
- frere(X,Y) ssi X est le frère de Y
- frere_ou_soeur(X,Y) ssi X est le frère ou la soeur de Y
- tante(X,Y) ssi X est la tante de Y
- grand_parent(X,Y) ssi X est un grand parent de Y
- cousin_cousine(X,Y) ssi X est un cousin ou une cousine de Y
Fred Mesnard
