list - 通过列表进行序言迭代

Question

假设我有列表 Xs = [a,b,c].现在我想遍历所有元素并为此元素调用另一个函数。我的问题是:如何使用头部和尾部来做到这一点？我将不胜感激。

Answer 1

通常，您不会在 Prolog 中进行迭代。相反，您使用一对递归子句编写规则，如下所示:

 dosomething([]).
 dosomething([H|T]) :- process(H), dosomething(T).

第一个子句处理基本情况，当列表 []是空的。在这种情况下，没有什么可做的，所以规则的主体也是空的。

当您的列表至少有一个元素时，第二个子句处理这种情况。语法 [H|T]以这样的方式与您的列表统一起来 H成为列表的头部，并且 T成为它的尾部。例如，如果您处理 dosomething([a,b,c]) , H变成 a , 和 T变成 [b,c] .

该规则的主体有两个部分。第一部分在头部操作，调用 process在上面。这是您要为列表的每个元素执行的规则。第二部分调用 dosomething在列表的尾部递归规则。当尾部列表不为空时， dosomething的第二个子句将与较短的列表统一以继续处理。当尾表为空时，第一个子句将统一，从而结束处理。