📅  最后修改于: 2022-03-11 15:00:12.110000             🧑  作者: Mango
代码示例1
?- append([a,b], [c], X).
X = [a,b,c].
?- append(X, [Last], [a,b,c]).
X = [a,b],
Last = c.
?- append([a,b], More, List).
List = [a,b|More].