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).