
string_concat(?String1, ?String2, ?String3)

   Succeeds if String3 is the concatenation of String1 and String2.



Arguments
   String1             String or variable.
   String2             String or variable.
   String3             String or variable.

Type
   Strings and Atoms

Description

   Succeeds if String3 is the concatenation of String1 and String2.

   Used to find all possible solutions for the concatenation of String1 and
   String2 to make String3.

   Note that if String1 and String2 are instantiated, it is more efficient
   to use the predicate concat_strings/3.

   This predicate is an alias for append_strings/3.


Modes and Determinism
   string_concat(+, +, -) is det
   string_concat(+, -, +) is det
   string_concat(-, +, +) is det
   string_concat(-, -, +) is multi

Exceptions
     5 --- One (or more) of the arguments is instantiated, but not to a    string.
     4 --- String3 and at least one other argument are uninstantiated.

Examples
   
Success:
      string_concat("a",B,"abc"). (gives B = "bc").
      string_concat(A,B,"a").     (gives A=""  B="a";
                                          A="a" B="").
Fail:
      string_concat("a","b","abc").
Error:
      string_concat(A,"bc",C).        (Error 4).
      string_concat(5,B,C).           (Error 5).
      string_concat(A,'me',"meme").   (Error 5).





See Also
   concat_strings / 3, atomics_to_string / 2, atomics_to_string / 3, sprintf / 3
