p(X,Y) :- X .=<. Y.
p(X,Y) :- X .>. Y.

q :- not p(X,Y).

?-  not q. %% Should succeed