num(X).
odd(X) :- mod(X,2).
?- odd(X)