39

の要素にmap(List, PredName, Result)述語を適用し、結果をリストに返すPrologプロシージャをどのように記述しますか？PredName(Arg, Res)ListResult

例えば：

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

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

1 に答える 1

52

これは通常呼び出され、 Prolog prologuemaplist/3の一部です。引数の順序が異なることに注意してください。

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

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

引数の順序が異なるため、複数のmaplist-goal を簡単にネストできます。

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

maplistさまざまなアリティがあり、関数型言語の次の構造に対応しますが、すべてのリストが同じ長さである必要があります。zipProlog には/zipWithとの間に非対称性がないことに注意してくださいunzip。目標maplist(C_3, Xs, Ys, Zs)は両方を包含し、より一般的な用途を提供します。

  • maplist/2に対応all
  • maplist/3に対応map
  • maplist/4に対応するzipWithだけでなくunzip
  • maplist/5に対応しzipWith3、unzip3
  • ...
于 2011-07-13T18:08:14.710 に答える