numeral(0).
numeral(succ(X)):-numeral(X).