Prolog附加/ 3
示例
append([], Bs, Bs).
append([A|As], Bs, [A|Cs]) :-
append(As, Bs, Cs).append/3是最知名的Prolog关系之一。它定义了三个参数之间的关系和为真，如果在第三个参数是表示在第一和第二参数指定的列表的级联列表。
值得注意的是，和是典型的好Prolog的代码，append/3可以在使用几个方向：它可用于：
追加两个完全或部分实例化的列表：
?-A=[1,2,3],B=[4,5,6],append(A,B,Y)
Output:
A=[1,2,3],
B=[4,5,6],
Y=[1,2,3,4,5,6].
检查的关系是否是三个完全实例名单属实：
?-A=[1,2,3],B=[4,5],C=[1,2,3,4,5,6],append(A,B,C)
Output:
false
生成所有可能的方式，以两个列表追加到给定的列表：
?-append(A,B,[1,2,3,4]).
Output:
A=[],
B=[1,2,3,4];
A=[1],
B=[2,3,4];
A=[1,2],
B=[3,4];
A=[1,2,3],
B=[4];
A=[1,2,3,4],
B=[];
false.