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