我正在尝试在不使用内置折叠谓词的情况下在prolog中实现foldl1。
我的代码产生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.
谢谢!
Predicate(X)
确实是无效的语法,因为(在标准Prolog中(,复合术语的名称不能是变量。请改用:
foldl1(_, [E], E).
foldl1(Predicate, [X,Y|Z], Result) :-
call(Predicate, X, Y, Ans),
foldl1(Predicate, [Ans|Z], Result).