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