Prolog-Map-Prozedur, die Prädikat auf Listenelemente anwendet

Wie schreiben Sie ein Prolog-Prozedur map(List, PredName, Result) gilt das Prädikat PredName(Arg, Res) auf die Elemente des Listund gibt das Ergebnis zurück in die Liste Result?

Beispiel:

test(N,R) :- R is N*N.

?- map([3,5,-2], test, L).
L = [9,25,4] ;
no

InformationsquelleAutor der Frage General_9 | 2011-07-13

  1. 39

    Dies ist in der Regel genannt maplist/3 und ist Teil der Prolog-Prolog. Beachten Sie die verschiedenen argument um!

    :- meta_predicate maplist(2, ?, ?).

maplist(_C_2, [], []).
maplist( C_2, [X|Xs], [Y|Ys]) :-
   call(C_2, X, Y),
   maplist( C_2, Xs, Ys).

    Den verschiedenen argument, um Ihnen erlaubt, leicht nest mehrere maplist-Ziele.

    ?- maplist(maplist(test),[[1,2],[3,4]],Rss).
Rss = [[1,4],[9,16]].

    maplist kommt in verschiedenen arities und entspricht die folgenden Konstrukten in funktionalen Sprachenerfordert aber, dass alle Listen sind von gleicher Länge. Beachten Sie, dass der Prolog nicht die Asymmetrie zwischen zip/zipWith und unzip. Ein Ziel maplist(C_3, Xs, Ys, Zs) fasst beide und bietet sogar mehr allgemein verwendet.

    • maplist/2 entspricht all
    • maplist/3 entspricht map
    • maplist/4 entspricht zipWith aber auch unzip
    • maplist/5 entspricht zipWith3 und unzip3
    • ...

    InformationsquelleAutor der Antwort false

Schreibe einen Kommentar