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