atom_concat/2¶

atom_concat(+ As, ? A)*

The predicate holds when the first argument is a list of atoms, and the second unifies with the atom obtained by concatenating all the atoms in the first list.