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