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