p(A) :- not q(A).
q(A) :- not p(A).

?- p(A).