query(p67,p,[p,q],[],[p]).
%-----------------------------------------------------------

:- table p / 0.
:- table q / 0.

p :- tnot(p).
p :- q.
q :- q.