prolog::append/3

append(? List1,? List2,? List3)*

Succeeds when List3 unifies with the concatenation of List1 and List2. The predicate can be used with any instantiation pattern (even three variables).

Private-func:

1. prolog::append_3::append/3(int ARG1, int ARG2, int ARG3)():