将 2 个列表与包含 2 个列表元素的每个不同顺序的第三个列表连接起来

Question

所以我有 2 个列表，当连接时它应该返回如下所示的列表

| ?- concat([a,b,c],[1,2,3,4],X)。

X = [a,b,c,1,2,3,4] ;

X = [a,b,1,c,2,3,4] ;

X = [a,b,1,2,c,3,4] ;

X = [a,b,1,2,3,c,4] ;

X = [a,b,1,2,3,4,c] ;

...

所以我写了这段代码来回答这个问题：

concat([], Y, Y).
concat([E|X], Y, [E|Z]) :- concat(X,Y,Z).
   concat(X, Y, [Y|X]).

但我得到这个作为输出

?- concat([a,b,c],[1,2,3,4],X).

X = [a, b, c, 1, 2, 3, 4] ;

X = [a, b, c, [1, 2, 3, 4]] ;

X = [a, b, [1, 2, 3, 4], c] ;

X = [a, [1, 2, 3, 4], b, c] ;

X = [[1, 2, 3, 4], a, b, c]。

我是 Prolog 的新手，所以我不确定我哪里出错了，任何帮助都将不胜感激

Answer 1

你的问题在第三行：

concat(X, Y, [Y|X]).

[Y|X] 不是Y 的所有元素后跟X 的所有元素的列表，它是一个列表，其第一个元素是列表Y，然后其余元素是X 的元素。

我的代码如下：

concat([], [], []).
concat([E|X], Y, [E|Z]) :- concat(X,Y,Z).
concat(X, [F|Y], [F|Z]) :- concat(X,Y,Z).

concat([], Y, Y). 的第一行运行良好，但我认为作为归纳的基本情况，我的方式更简洁、更对称。