View source with formatted comments or as raw
    1p(X) :- not q(X).
    2q(X) :- not p(X).
    3r(X) :- X \= 3, X \= 4, q(X).
    4?- p(X), r(Y).