atomic_list_concat(List, Separator, Atom) is true if and only if Atom can unify with the concatenation of List's elements, using Separator as the element to join them all together.