Next: Term test
Up: Other Built-in Predicates
Previous: Arithmetic comparison
  Contents
  Index
- atom_length(Atom,Length)
Length (in characters) of Atom is Length.
- atom_concat(Atom1,Atom2,Atom3)
The concatenation of Atom1 and Atom2 is equal to
Atom3. Either both Atom1 and Atom2 are atoms or
Atom3 is an atom.
- sub_atom(Atom,N,L,Sub)
The substring of Atom beginning at the Nth character and
L characters long is Sub. The index of the first character
is 0.
- char_code(Char,Code)
The numeric code of the character Char is Code.
- atom_chars(Atom,Chars)
Chars is the list of characters of Atom.
- atom_codes(Atom,Codes)
Codes is the list of numeric codes of the characters of
Atom.
- number_chars(Num,Chars)
Chars is the list of digits (including '.') of the number Num.
- number_codes(Num,Codes)
Codes is the list of numeric codes of digits of the number
Num.
Next: Term test
Up: Other Built-in Predicates
Previous: Arithmetic comparison
  Contents
  Index
Neng-Fa Zhou
1999-11-24