| alpha_to_lower//1 | Read
a letter (class =alpha=) and return it as a lowercase letter. |
| atom//1 | Generate
codes of Atom. |
| blank//0 | Take
next =space= character from input. |
| blanks//0 | Skip
zero or more white-space characters. |
| blanks_to_nl//0 | Take
a sequence of blank//0 codes if blanks are followed by a
newline or end of the input. |
| digit//1 | Number
processing. |
| digits//1 | Number
processing. |
| eos//0 | Matches
end-of-input. |
| float//1 | Process
a floating point number. |
| integer//1 | Number
processing. |
| nonblank//1 | Code
is the next non-blank (=graph=) character. |
| nonblanks//1 | Take
all =graph= characters. |
| number//1 | Generate
extract a number. |
| prolog_var_name//1 | Matches
a Prolog variable name. |
| remainder//1 | Unify
List with the remainder of the input. |
| string//1 | Take
as few as possible tokens from the input, taking one more each time on
backtracking. |
| string_without//2 | Take
as many codes from the input until the next character code appears in
the list EndCodes. |
| white//0 | Take
next =white= character from input. |
| whites//0 | Skip
white space _inside_ a line. |
| xdigit//1 | True
if the next code is a hexdecimal digit with Weight. |
| xdigits//1 | List
of weights of a sequence of hexadecimal codes. |
| xinteger//1 | Generate
or extract an integer from a sequence of hexadecimal digits. |