- digits(?Chars)// is det
- digit(?Char)// is det
- integer(?Integer)// is det
- Number processing. The predicate digits//1 matches a possibly
empty set of digits, digit//1 processes a single digit and
integer processes an optional sign followed by a non-empty
sequence of digits into an integer.