precede(X,Y) :- X @< Y.