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