prolog - Prolog 绑定参数

Question

在 sicstus prolog 中，有一个谓词：

maplist(:Pred, +List)

Pred应该只接受一个参数 -List元素。如何通过定义第一个参数的 2 参数谓词？在其他语言中，它会写成：

maplist(pred.bind(SomeValue), List)

Answer 1

maplist(P_1, Xs)将call(P_1, X)调用Xs. 内置谓词call/2添加一个进一步的参数P_1，然后用call/1. 为了表明需要进一步的参数，使用类似P_1“需要一个额外参数”的名称非常有帮助。

因此，如果您已经有一个 arity 2 的谓词，例如(=)/2，您将传递=(2)给 maplist：

?- maplist(=(2), Xs).
Xs = [] ;
Xs = [2] ;
Xs = [2,2] ...

由于不幸的是 SICStus 库中的定义不正确，请使用以下定义：

:- meta_predicate(maplist(1,?)).
:- meta_predicate(maplist_i(?,1)).

maplist(P_1, Xs) :-
   maplist_i(Xs, P_1).

maplist_i([], _P_1).
maplist_i([E|Es], P_1) :-
   call(P_1, E),
   maplist_i(Es, P_1).

有关更多信息，请参阅此答案。

只是关于列表列表的一个很好的例子。

?- Xss = [[A],[B,C]], maplist(maplist(=(E)), Xss).
Xss = [[E], [E, E]],
A = B, B = C, C = E.