[ Strings and Atoms | Reference Manual | Alphabetic Index ]
concat_strings(+Src1, +Src2, -Dest)
Succeeds if Dest is the concatenation of Src1 and Src2.
- Src1
- String.
- Src2
- String.
- Dest
- String or variable.
Description
   Dest is unified with the concatenation of Src1 and Src2.
Modes and Determinism
- concat_strings(+, +, -) is det
Exceptions
- (4) instantiation fault 
- Either (or both) of Src1 and Src2 is not instantiated    (non-coroutine mode only).
- (5) type error 
- Either (or both) of Src1 and Src2 is instantiated, but not    to a string.
- (5) type error 
- Dest is neither a string nor a variable.
Examples
Success:
  concat_strings("abc","def",X). (gives X="abcdef").
  [eclipse]: [user].
   absolutename(File,Abs) :-
           string_list(File,List),
           arg(1,List,0'/) -> Abs = File;
                            (getcwd(Cwd),
                             concat_strings(Cwd,File,Abs)).
   user compiled 256 bytes in 0.02 seconds
  yes.
  [eclipse]: absolutename("d.pl",P), absolutename("/usr/bin",F).
  P = "/home/lp/user/d.pl"
  F = "/usr/bin"
  yes.
Fail:
  concat_strings("ab","bc","abc").
Error:
  concat_strings("a",X,"ab").             (Error 4).
  concat_strings("big",'gest',X).         (Error 5).
See Also
append_strings / 3, concat_atoms / 3, sprintf / 3