concat_strings(+Src1, +Src2, -Dest)

Src1

String.

Src2

String.

Dest

String or variable.

Description

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