odd(X) :- mod(X, 2) @= 0.