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