Question

proceed(N, [H|T], [Output]) :-
   N > 0, NewN is N - 1, NewH is H - 1,
   proceed(NewN, T, [NewH|Output]).

概念是它将获取列表并将前N个元素减1，并将结果列表分配给变量Output。例如。当我写查询时：

?-proceed(2, [3,2,1], Answer)

我希望它“返回”：

Answer = [2,1,1].

我怎样才能做到这一点？我知道我需要一些停止谓词，但想不到一个。如果有人能提供一个好的解释答案，我将不胜感激。

Answer 1

您当前的代码存在两个问题：

现在让我们逐一考虑这两点。简而言之，您的基本子句应描述在不需要进一步处理时会发生什么。如果发生这种情况取决于手头的问题：基本子句可以描述当输入列表为空，一个或多个参数达到特定状态或其他类似情况时会发生什么。

在您的情况下，基本子句需要描述N变为零时会发生什么。答案很简单：当N为零时，输入列表将被复制到输出中而不进行更改。因此，您的基本子句是

proceed(0, L, L).

在N达到零之前，当列表用完元素时，您还需要处理这种情况：

proceed(_, [], []).

这也很简单 - 如果输入列表为空，则输出也应为空，无论N的值是什么。

现在让我们回到你的主要条款。您的代码正确计算N和head元素的下一个值，但不是将它们粘贴到输出中，而是将它们放入递归调用中。这是更正后的版本：

proceed(N, [H|T], [NewH|Output]) :-
    N > 0,
    NewN is N - 1,
    NewH is H - 1,
    proceed(NewN, T, Output).

现在NewH被添加回子句标题中的Output，确保输出“回流”到调用者。这可能看似违反直觉，但这就是Prolog的工作原理。