View source with formatted comments or as raw
    5p(X,Y) :- X .<. Y.
    6p(X,Y) :- X .>. Y.
    7
    8q :- not p(X,Y).
    9
   10
   11?-  not q. %% Should fail