individu(in1,Mihaly,Bagyi,11/04/1955,Cristur,Roumanie)->;
individu(in2,Iren,Bagyi,24/07/1961,Cristur,Roumanie)->;
individu(in3,Ibolya,Bagyi,19/10/1981,Cristur,Roumanie)->;
individu(in4,Misike,Bagyi,06/11/1983,Cristur,Roumanie)->;
individu(in5,Csongor,Bagyi,26/11/1989,Cristur,Roumanie)->;

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

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

individu(in9,Aron,Bagyi,30/12/1959,Cristur,Roumanie)->;
individu(in10,Ida,Bagyi,10/11/1960,Cristur,Roumanie)->;
individu(in11,Tibi,Bagyi,20/12/1969,Cristur,Roumanie)->;


individu(in12,Evi,Szasz,24/12/1972,Cristur,Roumanie)->;
individu(in13,Arpi,Szasz,30/04/1970,Cristur,Roumanie)->;

individu(in14,Ildiko,Bagyi,30/12/1959,Cristur,Roumanie)->;
individu(in15,Gyorgy,Bagyi,10/11/1960,Cristur,Roumanie)->;
individu(in16,Csilla,Bagyi,20/12/1969,Cristur,Roumanie)->;




sexe(in1,ma)->;
sexe(in2,fe)->;
sexe(in3,fe)->;
sexe(in4,ma)->;
sexe(in5,ma)->;
sexe(in6,fe)->;
sexe(in7,ma)->;
sexe(in8,fe)->;
sexe(in9,ma)->;
sexe(in10,fe)->;
sexe(in11,ma)->;
sexe(in12,fe)->;
sexe(in13,ma)->;
sexe(in14,fe)->;
sexe(in15,ma)->;
sexe(in16,fe)->;

pere(in1,in3)->;
pere(in1,in4)->;
pere(in1,in5)->;
pere(in7,in2)->;
pere(in7,in12)->;
pere(in7,in13)->;

mere(in2,in3)->;
mere(in2,in4)->;
mere(in2,in5)->;
mere(in6,in1)->;
mere(in8,in2)->;
mere(in6,in9)->;
mere(in6,in10)->;
mere(in6,in11)->;
mere(in8,in12)->;
mere(in8,in13)->;
mere(in10,in14)->;
mere(in10,in15)->;
mere(in10,in16)->;

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)
	     val(eql(x,y),0);

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

oncle(x,y)->parent(z,x)
	    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);

cousin(x,y)->oncle(x,z)
	     filles(y,z);

cousin(x,y)->tante(x,z)
	     filles(y,z);


descendant(x,x)->;
descendant(x1,x2)-> dif(x1,x2) parent(x2,x3) descendant(x1,x3);

antecedent(x,x)->;
antecedent(x,y)-> dif(x,y) parent(z,y) antecedent(x,z);

antecommun1(x,y,z)->antecedent(z,x)
			antecedent(z,y);

antecommun2(x,y,z)->descendant(x,z)
			descendant(y,z);

antecommun3(x,y,z)->antecedent(q,x)
			descendant(y,q)
			/*!*/
			eq(q,z);