odd(N) :- 1 is mod(N, 2).
even(N) :- 0 is mod(N,2).