even(0).  % 0 is not actually an even number...
even(s(s(X))) :- even(X).

odd(X) :- not(even(X)).

/* Try:
?- odd(s(0)).
yes
?- odd(X).
no
*/