even(N) :- N mod 2 =:= 0.