list - 如何从递归和尾递归列表中获取最后两个值？

Question

我需要一个谓词last_two(LST,Y,Z) ，将列表的最后一个值分配给 Z，将倒数第二个值分配给 Y。我怎样才能在递归中做到这一点？我怎么能在尾递归中做到这一点？谢谢！

这是一个带有尾递归的代码，我可以让它更高效吗？

last2_2([_|[H1|[H2|T]]],Y,Z):-last2_2([H1|[H2|T]],Y,Z).

last2_2([H1,H2],H1,H2).

Answer 1

您可以简化递归案例：

last2_2([_|T],X,Y) :- last2_2(T,X,Y).

这将使每个递归案例更快（更少的模式匹配），但会导致它走得太远，并且必须回溯以获取最后两个元素。随着列表变长，这可能会更有好处（因为回溯的数量与列表的长度无关）。

您可以更进一步，将递归案例替换为：

last2_2([_,_|T],Y,Z):-last2_2(T,Y,Z).
last2_2([_,A,B],A,B).

在这里，递归案例一次剥离 2 个元素（以更多的模式匹配为代价），我们需要第二个基本案例来处理奇数长度的列表。