concat_atom(+List, ?Atom)- True when the concatination of the atomic elements in List produce
the atom Atom. List may contain variables.
Re-exported predicates
The following predicates are re-exported from other modules
str_cat(+Atom1, +Atom2, -Atom3)