prolog - foldl1 的 Prolog 实现

Question

我正在尝试在 prolog 中实现 foldl1 而不使用内置 foldl 谓词。

我的代码产生Syntax error: Operator expected：

foldl1(_, [E], E).

foldl1(Predicate, [X,Y|Z], Result) :-
  call(Predicate(X), Y, Ans),
  foldl1(Predicate, [Ans|Z], Result).

我预计：

?- foldl1(concat,['a','b','c','d'],X).
X = abcd.

谢谢！

Answer 1

Predicate(X)确实是无效的语法（在标准 Prolog 中），复合术语的名称不能是变量。改用：

foldl1(_, [E], E).

foldl1(Predicate, [X,Y|Z], Result) :-
  call(Predicate, X, Y, Ans),
  foldl1(Predicate, [Ans|Z], Result).