我们可以将高阶 map 谓词定义为:
同样地,我们可以定义折叠(左)为:
map([], [], F).
map([A|As], [B|Bs], F) :-
call(F, A, B),
map(As, Bs, F).
同样地,我们可以定义折叠(左)为:
fold([], Acc, Acc, _F).
fold([A|As], B, Acc1, F) :-
call(F, Acc1, A, Acc2),
fold(As, B, Acc2, F).
reduce (left)的正确定义是什么?我们可以如下定义吗?
reduce([A|As], Bs, F) :-
fold(As, Bs, A, F).
如下所示,进行reduceback(右)操作?
reduceback([], Ident, F) :-
identity(F, Ident).
reduceback([A|As], B, F) :-
reduceback(As, C, F),
call(F, C, A, B).
这些正确吗?