odd_or_even(X) :- Y is mod(X/2).