仅使用2个列表通过prolog将列表添加到另一个列表中

Question

如果我有list1 = [1,2,3]和list2 = [4,5,6]如何在不使用其他空列表的情况下输出[1,2,3,4,5,6]？

使用第3个空列表代码＆＃39;将是：

domains
l = integer*

predicates
append(l,l,l)

clauses
append([],X,X)
append( [H|T], X, [H|T2]):- append(T,X,T2).

我尝试调整代码但是程序崩溃了。我认为是因为无限循环（递归）

predicate
append(l,l)
clauses
append(X,[]):- append(X,X).
append( X, [_|T] ):- append(X,T).