is_odd(X) :- mod(X/2)=1.
is_even(X) :- mod(X/2)=0.