odd(X):- mod(X, 2) is 0