foldl4

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

• 带有 3 个参数的谓词
• 元素列表
• 初始状态
• 最终状态，是在执行中间状态时将谓词应用于连续元素的结果。

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

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