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

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

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