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