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