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?-  not q. %% Should succeed