Prolog递归列表比较

Question

我刚刚启动Prolog，为了进行练习，我尝试比较两个列表，看看第一个列表是否比第二个列表大一个元素。 到目前为止，我已经有了基本情况，但是对于任何包含多个元素的列表，它都会无限循环。 谁能解释为什么会这样？ 任何信息表示赞赏。

码

one_longer([H],[]).
one_longer([H|T],[H2|T2]) :- one_longer([T],[T2]).

Answer 1

该子句应为：

one_longer([H|T],[H2|T2]) :- one_longer(T,T2).

当one_longer([T],[T2])形成一个只有一个元素的新列表时，这会导致观察到的循环，因为再次应用该规则会导致不断询问one_longer([[]],[[]])在哪里one_longer(T,T2)将one_longer应用于两个列表的其余部分。