I got task to do to implement own arythmetic operation and numbers.
isnumber(zero). isnumber(s(X)):- isnumber(X).
s(X) means X + 1, succesor.
