query(p90,p,[p,q,s],[s],[p,q]).
%-----------------------------------------------------------

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

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