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