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