
*** Yes
> > > 
*** Yes
> 
*** Yes
--1> |    
*** Yes
P = p(_A: one_two_three), Q = q(_A).
----2> 
*** Yes
P = p(Z), Q = q(Z), X = one_two_three, Y = one_two_three, Z = one_two_three.
------3> 
p(one_two_three) :-
        succeed.

q(one_two_three) :-
        succeed.

*** Yes
P = p(Z), Q = q(Z), X = one_two_three, Y = one_two_three, Z = one_two_three.
------3> 
