Prolog语言foldl/4

示例

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

• 具有3个参数的谓词

• 元素列表

• 初始状态

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

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

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