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