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

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

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