/* (C) 2005-2007 Roger Villemaire <villemaire.roger@uqam.ca>
   Un prédicat pour les descendants et les parents
*/

/* parent(X,Y)      X est le père ou la mère de Y
*/
parent(pierre,paul).
parent(pierre,julie).
parent(marie,julie).
parent(julie,etienne).
parent(julie,camille).

/*
   ancetre(X,Y)  X est un ancêtre de Y
*/
ancetre(X,Y) :- parent(X,Y).
ancetre(X,Y) :- parent(X,Z),ancetre(Z,Y).