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