努力将 Prolog 的 maplist/2 用作函数映射函数

Question

我正在使用 SWI-prolog，我正在尝试创建一个辅助函数，该函数将映射到一个列表并将每个元素与给定的整数相乘。我的目的是创建一个对应于 Haskell 函数的谓词multByN x n = x * n并在这个意义上使用它：

map (multByN 3) [1,2,3] 这会将所有元素乘以 3 并产生 [3,6,9]

我在 Prolog 中搜索了相应的谓词，maplist/2但发现我只能使用它来检查列表中每个元素的布尔条件是否成立，而不是实际返回一个新的、处理过的列表。我了解这是如何工作的：

isEven(X) :- 0 is X mod 2

maplist(isEven, [2,4,6])给true.

但是，我不明白人们会如何将maplist(multByN(3), [1,2,3])某些变量与[3,6,9]. 由于我无法弄清楚这一点，因此我尝试实现我自己的映射函数，将谓词映射multByN到列表，我得到了一些看起来正确的东西，但事实并非如此。我有这个：

multByN(X, N, Y) :- Y is N*X.

mapFunc(_, [], L) :-
    write(L), nl.

mapFunc(N, [H|T], L) :-
    multByN(H, N, Z),
    mapFunc(N, T, [Z|L]).

使用这个谓词我得到：

?- mapFunc(3, [1,2,3], X).
[9,6,3|_1746]
true ;

在这里，我实际上是在打印最终列表以查看它的样子，但是我们可以看到查询实际上并没有说，X = [9,6,3|_1746]所以我实际上并没有统一任何东西，据我所知，我只是打印出来 - 这不是我想要的。这里的另一个问题是_1746我想摆脱的未实例化变量，特别是因为当我尝试反转列表时，我会得到无穷无尽的答案和未实例化的变量。

理想情况下，我想知道如何使用mathlist/2和我自己的谓词来解决问题，但是我认为其他人会对学习如何使用更感兴趣mathlist/2，这对我来说已经足够了。

Answer 1

为了maplist(multByN(3), [1,2,3])工作，你需要一个额外的变量。因此maplist(multByN(3), [1,2,3], Ys)。

maplist(P_2, Xs, Ys)将另外两个参数一X和一添加Y到P_2。所以multByN(3)需要两个额外的参数，比如

multByN(N, X, Y) :-
   Y is N*X.

?- maplist(multByN(3), [1,2,3], Ys).
   Ys = [3,6,9].

还有一些地图列表大致对应于它们的功能表亲。