If you want to go through the ISO Prolog, then you will not use the predicate name/2.
ISO Prolog offers you atom_codes/2and atom_chars/2. They offer you the functionality of converting the atom back to a list of codes or a list of characters. Atoms are Prolog system strings and symbols are just atoms of length 1. Here are some examples of invokations from two predicates:
?- atom_codes(ant, L).
L = [97,110,116]
?- atom_codes(X, [97,110,116]).
X = ant
?- atom_chars(ant, X).
X = [a,n,t]
?- atom_chars(X,[a,n,t]).
X = ant
, aka atom.
,
. ISO atom_length/2
. :
?- atom_length(ant,X).
X = 3
Prolog ,
SWI Prolog, GNU Prolog, Jekejeke Prolog ..
Prolog.
8- , 16- 32- .
,
- ,
, .
,
.
Bye