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