query(p21,a,[a,b,c],[c],[a,b]).
%-----------------------------------------------------------

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

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