even(0).
even(X) :- rem(X,2) is 0.