削减在序言

Question

我学习的Prolog自己和最近的递归在一张票据传来： -

例：第n/3

• 例如，找到的第n个元素列出我们可以使用

nth([X|_],0,X). 

    nth([_|L],N,X) :- N1 is N - 1, nth(L,N1,X). 

• 列表中的第0个元素是列表的第一个元素（第一个子句），否则为 我们取列表中第n-1个元素的尾部（第二个子句）。

• 一旦我们找到了第n个元素，我们就无法通过回溯找到更多。

nth([X|_],0,X). 
nth([_|L],N,X) :- N1 is N - 1, !, nth(L,N1,X). 

• 添加切口阐明了这一点，并且可以是必要的尾递归 优化。

然而，当我在Prolog中使用跟踪功能，我发现，这些2个码的调用序列是完全相同的。

我应该把！标记如下？

nth([X|_],0,X) :- !. 
nth([_|L],N,X) :- N1 is N - 1, nth(L,N1,X). 

Answer 1

第二子句中的切口，因为没有更多的条款和目标之前它（is/2呼叫）是确定性是多余的。我也不认为剪切对尾递归优化起作用（这基本上要求递归调用是子句体中的最后一个目标）。

但是，在担心切割位置之前，如果您在nth(+,+,-)以外的其他模式下调用nth/3谓词，您应该检查会发生什么情况。例如，在nth(+,+,+)模式中发生了什么，即当您调用所有实例化参数的谓词时，但是该元素不在列表中？提示：将切入点移至第一个子句不会解决问题。