append_strings(?String1, ?String2, ?String3)

String1

String or variable.

String2

String or variable.

String3

String or variable.

Description

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 string_concat/3.

Modes and Determinism

• append_strings(+, +, -) is det
• append_strings(+, -, +) is det
• append_strings(-, +, +) is det
• append_strings(-, -, +) is multi

Exceptions

(5) type error

One (or more) of the arguments is instantiated, but not to a string.

(4) instantiation fault

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