Did you know ... Search Documentation:
Pack onepointfour_basics -- prolog/stringy_concat.pl
PublicShow source

Homepage for this code

https://github.com/dtonhofer/prolog_code/blob/main/unpacked/onepointfour_basics/README_stringy_concat.md

 stringy_concat(ListOfStringy, ?Result, ?ResultType)
Succeeds if Result is the concatenation of the elements of ListOfStringy, coerced to ResultType (one of 'string' or 'atom'). If Result is nonvar, the ResultType is unified to the actual type of Result, so no need to determine it first.
 stringy_concat(ListOfStringy, ?Result, ?ResultType, @Tuned)
As stringy_concat/3, but you can make the call throw instead of just fail if Result and ResultType are out-of-type or out-of-domain, by passing hard for Tuned.