| defines a relation between an atom and a list of one-character atoms.
atom_chars(-Atom, +List)
atom_chars(+Atom, ?List)
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.
Arguments
Atom atom
List list of characters (atoms with length=1)
Examples
| 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. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
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.
|