Search code examples
prologswi-prologpartial-applicationmaplist

changing list of strings to atoms using maplist?

How to change string to atoms using maplist.

This does not work :

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

first because atom_string/2 has arity of two (How do you do partial-function//currying in prolog).

But even if partial-fun worked the complication is that the first argument of atom_string is the unknown i.e. the call is :

  atom_string(A,"atom")

not :

  atom_string("atom",A)

this worked :

?- 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].
Solution

  • This works as intended:

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

    If this is not what you are after, please explain.