:- auto_table.
p(a) :- tnot p(b).
p(b) :- tnot p(a).
q(c) :- p(X).