?? ex3
字號:
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);
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -