atomic_list_concat(List, Atom) is true if and only if Atom can unify with the concatenation of List's elements.
Notice that this produces the same result that using the predicate atomic_list_concat/3 with separator ''.