:

, . , . . , , . , , , '*', '.' '='. - ( ). , , , , '_PERSON' '*PERSON'. , . , , , . , ':-', '.' '?-', . , '+', '-'. , , , .

uncle(X,Z):- parent(X,Y), brother(Y,Z).

Uncle(x,z) - Parent(x,y) & Brother(y,z).

UNCLE(_X,_Z):- PARENT(_X,_Y), BROTHER(_Y,_Z).

+UNCLE(*X,*Z) -PARENT(*X,*Y) -BROTHER(*Y,*Z).

((UNCLE X1 ) (PARENT X1 2) (BROTHER X2 ))

uncle(X,Z): parent(X,Y); brother(Y,Z).


: 0.099. /Cache: 2 / 0