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