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