- 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.