assertion_arbre

这是用prolog写的几个程序：程序１是一个旅行社关系系统

	/*******************************/
	/***  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)->;