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