实施反向列表时不停止

Question

这是我的实现：

popped_last_el([], [_]).
popped_last_el([F | R], [F | X]) :- popped_last_el(R, X).

last_el(X, [X]).
last_el(X, [_ | L]) :- last_el(X, L).

reverse_list([], []).
reverse_list([F | R], L2) :- last_el(F, L2), popped_last_el(L, L2), reverse_list(R, L).

当我查询reververs_list（[a，b]，x）时，它会按预期输出x = [b，a]。但是，当我使用;要求另一种解决方案时，Prolog无限期运行。为什么？

Answer 1

为什么？

这是 fafic-slice to解释为什么该程序仍然循环。您的程序中只有这个很小的部分才是责任的非终止。您将不得不在这一部分修复 ，以使非终止消失。

last_el(X, [X]) :- false.
last_el(X, [_ | L]) :- last_el(X, L), false.

reverse_list([], []) :- false.
reverse_list([F | R], L2) :-
   last_el(F, L2), false,
   popped_last_el(L, L2),
   reverse_list(R, L).

?- reverse_list([a, b], X), false.
   loops.

您可以从此失败板中看到的内容：

l2需要已知（'Intantiated'）才能使last_el/2终止。但这不是。