Prolog
p(X,Y) :- r(Z), b(X).Queryclauses
p(X,Y) :- q(Y), b(X). b(X) :- a(X). b(0).facts
a(1). q(2).
?- p(X,Y).results in $(X = 1,Y = 2 )
p(X,Y) :- r(Z), b(X).Queryclauses
p(X,Y) :- q(Y), b(X). b(X) :- a(X). b(0).facts
a(1). q(2).
?- p(X,Y).results in $(X = 1,Y = 2 )