p(X) :- not q(X).
q(X) :- not p(X).
% ?- p(X).