# append(?リスト1,?リスト2,?リスト3)

「リスト3」は、「リスト1」と「リスト2 」を連結したものです。append/3の引数のうち１つあるいは２つが値を持っている場合には、残りの引数が適切な結果に単一化されます（以下の例題を参照して下さい）。３つの引数のすべてが値を持っているときは、IF/Prologはその文の証明を試みます。

関連 concat, length, list, member, reverse, sort

?- append([a,b],L,[a,b]). L = [] yes ?- append([a,b,c],L,P).

L = _656 P = [a,b,c｜_656]; no ?- append(L,K,[a,b,c]).

L = [] K = [a,b,c];

L = [a] K = [b,c];

L = [a,b] K = [c];

L = [a,b,c] K = []; no ?- _