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