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

q(b).