5.2.2 Predicates that operate on strings
All Application Manual Name SummaryHelp

Availability:built-in
atomics_to_string(+List, -String)
List is a list of strings, atoms, or number types. Succeeds if String can be unified with the concatenated elements of List. Equivalent to atomics_to_string(List,’’, String).
ClioPatria (version V3.1.1-51-ga0b30a5)