0

我正在使用 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我想摆脱的未实例化变量，特别是当我尝试反转列表时，我得到了无穷无尽的答案和未实例化的变量。

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

4

1 回答 1

5

为了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].

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

于 2020-04-24T20:50:49.453 回答