使用maplist将字符串列表更改为原子

Question

如何使用maplist将字符串更改为原子。

这不起作用：

?- maplist(atom_string,["a","b","c"]).

首先是因为atom_string/2的arity为2(如何在prolog中执行部分函数//currying(。

但是，即使部分乐趣奏效，复杂的是atom_string的第一个参数是未知的，即调用是：

atom_string(A,"atom")

不是：

atom_string("atom",A)

---

这是有效的：

?- use_module(library(lambda)).
?- F = Y^X^(atom_string(X,Y)), maplist(F,["a","b","c"],L).
F = Y^X^atom_string(X, Y),
L = [a, b, c].

Answer 1

这按预期工作：

?- maplist(atom_string, Atoms, ["a","b","c"]).
Atoms = [a, b, c].

如果这不是你想要的，请解释。

Answer 2

使用辅助谓词。

string_atom(String,Atom) :-
atom_string(Atom,String).

然后使用运行

?- maplist(string_atom,["a","b","c"],Atoms).
Atoms = [a, b, c].