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