atom_chars/2

Module: builtins

atom_chars/2 — convert between atoms and the list of characters representing the atom
atom_codes/2 — convert between atoms and the list of character codes representing the atom

FORMS

atom_chars(Atom, CharList)

atom_codes(Atom, CodeList)

DESCRIPTION

atom_chars(Atom, CharList) is true if and only if CharList is a character list whose elements correspond to the characters of the atom Atom.

atom_codes(Atom, CodeList) is true if and only if CodeList is a character code list whose elements correspond to the character codes of the atom Atom.

EXAMPLES

?- atom_chars('the cat in',L).
L=[t,h,e,'',c,a,t,'',i,n]
yes.
?- atom_chars(A,[t,h,e,' ',h,a,t,'\n']).
A='the hat\n'
yes.
?- atom_codes(A,[65,66,67]).
A='ABC'
yes.
?- atom_codes(holiday,L).
L="holiday"
yes.

ERRORS

Atom and CharList are both variables(atom_chars/2)

– – – – > instantiation_error.

Atom and CodeList are both variables(atom_codes/2)

– – – – > instantiation_error.

Atom is neither a variable nor an atom

– – – – > type_error(atom, Atom).

CharList is neither a variable nor a list nor a partial list

– – – – > type_error(list, CharList).

CodeList is neither a variable nor a list nor a partial list

– – – – > type_error(list, CodeList).

CharList is a list but there is a sublist L of CharList whose first element is neither a variable nor a character

– – – – > domain_error(character_list, L).

CodeList is a list but there is a sublist L of CodeList whose first element is neither a variable nor a character code

– – – – > domain_error(character_code_list, L).

SEE ALSO