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