defines a relation between an atom and a list of one-character atoms.
If Atom is an atom then atom_chars/2 explodes Atom
into a list of one-character atoms.
If Atom is a variable then List must be a list of
one-character atoms. atom_chars/2
concatenates the characters of the list to the atom Atom.
Atom atom List list of characters (atoms with length=1)
| atom_chars(abcde, L). | Succeeds with substitution L <- [a,b,c,d,e]. |
| atom_chars(A, [l,i,s,t]). | Succeeds with substitution A <- list. |
| atom_chars(list, [l,I,s,T]). | Succeeds with substitution I <- i, T<- t. |
This predicate is part of the ISO-Prolog Standard.
atom_codes/2, atom_concat/3, atom_length/2, atom_number/2, char_code/2, number_chars/2, number_codes/2, parse_atom/2/3, sub_atom/5.
| scroll to top |
|