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