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