larger(X, Y) :- X > Y.