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