num(X).
write('even'), nl. :- mod(X, 2) is 0.