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