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.