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