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