maplist23

maplist/2 和 maplist/3 是高阶谓词，它允许将关于单个元素的谓词的定义提升到这些元素的列表。这些谓词可以使用 call/2 和 call/3 作为构建块来定义，并随许多 Prolog 系统一起提供。

例如：

?- maplist(dif(a), [X,Y,Z]).
dif(X, a),
dif(Y, a),
dif(Z, a).