odd(N) :- N = 1.