Odd_even(X) :-
mod(X,2) @>= 1.