- ().
. - . ( ) , .
, - - , - . - - .
, - - .
, , . , ( ) .
-
:
?- a(X),b(X),e.
a(1).
a(Y):- c(Y),d(Y).
b(2).
c(1).
c(2).
d(2).
e.
?- a(X),b(X),e.
. - , . - , , . , ( , ).
. , , . a(1), X 1. . - b(1) (X 1) , , .
, .. a(X). . X Y a. ?-a(X),b(X),e ?‑c(Y),d(Y),b(Y),e. c(Y) , . Y 1, d(1) .
c(Y) Y=2. ( ).