foldl4

阿倍 （從左邊起）之間是一高階關係：

• 帶有 3 個引數的謂詞
• 元素列表
• 初始狀態
• 最終狀態，是在執行中間狀態時將謂詞應用於連續元素的結果。

例如：使用 foldl/4 表示列表中所有元素的總和，使用謂詞作為構建塊來定義兩個元素的總和 ：

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