Prolog语言foldl/4

2024-04-14 19:33:03 28

示例

阿倍（从左边起）之间是一高阶关系：

具有3个参数的谓词

元素列表

初始状态

最终状态，这是在执行中间状态时将谓词应用于连续元素的结果。

例如：foldl/4用于表示列表中所有元素的总和，使用谓词作为构建块来定义两个元素的总和：

?- foldl(plus, [2,3,4], 0, S).
S = 9.

示例