
append_strings(?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.




Resatisfiable
      Yes.

Fail Conditions
      Fails if String3 does not unify with the concatenation of String1 and
   String2.



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:
      append_strings("a",B,"abc"). (gives B = "bc").
      append_strings(A,B,"a").     (gives A=""  B="a";
                                          A="a" B="").
Fail:
      append_strings("a","b","abc").
Error:
      append_strings(A,"bc",C).        (Error 4).
      append_strings(5,B,C).           (Error 5).
      append_strings(A,'me',"meme").   (Error 5).





See Also
   concat_strings / 3, concat_string / 2, join_string / 3
