
*** Yes
> > > > > > > > > > > > 
*** Yes
> 
*** Yes
> > 
*** Yes
AAA = one_two_three, P = r(one_two_three), Q = r('AAA').
--1> 
*** No
> > 
r(one_two_three) :-
        succeed.
r(one_two_three) :-
        succeed.
r('AAA') :-
        succeed.

s(one_two_three) :-
        succeed.

*** Yes
> 
