/*******************************/
	/***  ARBRE GENEALOGIQUE    ***/
	/*******************************/


individu(ind1,Mihaly,Bagyi,11/04/1955,Cristur,Roumanie)->;
individu(ind2,Iren,Bagyi,24/07/1961,Cristur,Roumanie)->;
individu(ind3,Ibolya,Bagyi,19/10/1981,Cristur,Roumanie)->;
individu(ind4,Misike,Bagyi,06/11/1983,Cristur,Roumanie)->;
individu(ind5,Csongor,Bagyi,26/11/1989,Cristur,Roumanie)->;

individu(ind6,Ida,Bagyi,30/03/1934,Cristur,Roumanie)->;

individu(ind7,Arpad,Szasz,28/02/1937,Cristur,Roumanie)->;
individu(ind8,Iren,Szasz,30/12/1937,Mures,Roumanie)->;

sexe(ind1,ma)->;
sexe(ind2,fe)->;
sexe(ind3,fe)->;
sexe(ind4,ma)->;
sexe(ind5,ma)->;

sexe(ind6,fe)->;

sexe(ind7,ma)->;
sexe(ind8,fe)->;

pere(ind1,ind3)->;
pere(ind1,ind4)->;
pere(ind1,ind5)->;
pere(ind7,ind2)->;

mere(ind2,ind3)->;
mere(ind2,ind4)->;
mere(ind2,ind5)->;
mere(ind6,ind1)->;
mere(ind8,ind2)->;

parent(x,y)->pere(x,y);
parent(x,y)->mere(x,y);

fils(x,y)->parent(y,x) sexe(x,ma);

filles(x,y)->parent(y,x) sexe(x,fe);

frere(x,y)-> 
	parent(z,x)
	fils(y,z)!
	val(eql(x,y),0);

soeur(x,y)-> parent(z,x)
	     filles(y,z);

grande_p(x,y)->parent(x,z)
	       parent(z,y);

oncle(x,y)->parent(x,z)
	    frere(z,y);

tante(x,y)->parent(z,x)
	    soeur(z,y);

cousin(x,y)->oncle(x,z)
	     fils(y,z);
cousin(x,y)->tante(x,z)
	     fils(y,z);

grand_parent(x,y)->parent(x,z)
		parent(z,y);

ancencre(x,y)-> parent(x,y);
ancencre(x,y)-> parent(x,z)
		ancentre(z,y);