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