View source with formatted comments or as raw
    1p(X) :- not q(X).
    2q(X) :- not p(X).
    3% ?- p(X).