Did you know ... Search Documentation:
Predicate string_concat/3
Availability:built-in
string_concat(?String1, ?String2, ?String3)
Similar to atom_concat/3, but the unbound argument will be unified with a string object rather than an atom. Also, if both String1 and String2 are unbound and String3 is bound to text, it breaks String3, unifying the start with String1 and the end with String2 as append does with lists. Note that this is not particularly fast on long strings, as for each redo the system has to create two entirely new strings, while the list equivalent only creates a single new list-cell and moves some pointers around.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2020-02-19T03:13:57):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

Prolog just needs a syntax extension so that you can write:

Name = "John", Cand = 5, Str is "Hello, " + Name + " how are you. You are candidate " + Cand.

or even

Str is "Hello, ${Name} how are you. You are next, candidate ${Cand+1}".

I don't know how one might do it, but it is just needed.

Then get it into the ISO Standard. At gunpoint if necessary.

We are 2020, Algol68 style is a bit old now.