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