famille.txt

A usefull introduction of basic usage, and problems solving in prolog

% Programmation Multi-Styles : approche relationnelle  (Alain Lucci IUT de Valence)
%----------------------------------------------------------------------------------


homme(pierre). 
homme(henry). 
homme(alain). 
homme(gerard). 
homme(david). 
homme(benjamin). 
homme(jean_pierre). 

femme(yvette). 
femme(deborah). 
femme(delphine). 
femme(vanessa).
femme(lisa).

pere(pierre,henry). 
pere(pierre,alain). 
pere(pierre,gerard). 
pere(henry,david). 
pere(henry,benjamin). 
pere(alain,jean_pierre). 
pere(alain,deborah). 
pere(gerard,delphine). 
pere(gerard,vanessa). 
pere(pierre,lisa).

mere(yvette,lisa).
mere(yvette,henry). 
mere(yvette,alain). 
mere(yvette,gerard). 

parent(X,Y) :- pere(X,Y). 
parent(X,Y) :- mere(X,Y). 

enfant(X,Y) :- parent(Y,X).

fils(X,Y) :- enfant(X,Y), homme(X).
fille(X,Y) :- enfant(X,Y), femme(X).

frere_ou_soeur(X,Y) :- pere(P,X), pere(P,Y), mere(M,X), mere(M,Y), X\==Y.

frere(X,Y) :- frere_ou_soeur(X,Y), homme(X).
soeur(X,Y) :- frere_ou_soeur(X,Y), femme(X).

oncle_ou_tante(X,Y) :- parent(Z,Y), frere_ou_soeur(X,Z).

oncle(X,Y) :- oncle_ou_tante(X,Y), homme(X).

tante(X,Y) :- oncle_ou_tante(X,Y), femme(X).