query(p33,a,[a,b],[],[a,b]).
%-----------------------------------------------------------

:- table a / 0.
:- table b / 0.

a :- tnot(b).
b :- tnot(a).