is_odd :- Y is mod(X,2).
is_even :- Y is mod(X,2).