使用递归附加到列表进入 Prolog 中的无限循环

Question

我正在尝试为另一个列表中的每个 Element 附加列表，但我陷入了无限循环。

?- append_to_list([a, b], [1,2,3], X).

find([], E, []).
find([H|T], E, [[H, E]|Res]) :-
    find(T, E, Res).    

append_to_list(L, [], []).
append_to_list(L, [H|T], Res) :-
    find(L, H, R), 
    append(Res, R, New),
    append_to_list(L, T, New).

我希望这个例子的输出是：

X = [[a,1],[a,2],[a,3],[b,1],[b,2],[b,3]].

当我尝试 trace 查看我做错了什么时，它说它无法退出并在无限循环中重新启动。

为什么无法退出？

Answer 1

为什么无法退出？

因为您调用 append(R, ['a', 'b'], New), 时 R 和 New 都没有实例化，并且 Prolog 在回溯时计算出无限的解决方案。

?- append(R, ['a', 'b'], New).
R = [],
New = [a, b] ;
R = [_3986],
New = [_3986, a, b] ;
R = [_3986, _3998],
New = [_3986, _3998, a, b] ;
...

但是，我看不到从append_to_list([a], [1,2,3], X) 获取[a,b,a,b,a,b] 的“合乎逻辑”的方式。如果你真正想要的是[a,a,b,a,b,a,b]，这很容易：

append_to_list(L, [], L).
append_to_list(L, [_|T], R) :-
    append(L, [a, b], New),
    append_to_list(New, T, R).

编辑

在澄清需要什么后，我建议看到这个other answer。