odd(X):- 1 is mod(X,2).
even(X):- 0 is mod(X,2).