:- op(650, xfx, <=).
X<=Y :- X=<Y.