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