atom_chars(Atom, List) succeeds if and only if List is made up of one-character atoms that in order form Atom.