3

SWI-PLドキュメントでKey-Valueペアに何度か遭遇しましたが、それらについての適切な情報を取得できませんでした。これはプロローグの標準的なものですか、それとも単なるswi plのみの拡張機能ですか?主にここにあります: http ://www.swi-prolog.org/pldoc/doc_for?object = keysort / 2 およびここにあります:http://www.swi-prolog.org/pldoc/doc_for?object = section%282、 %27A.3%27、swi%28%27 / doc / Manual / assoc.html%27%29%29

ペアの形式は、たとえばa-5、またはリスト[a-5、b-7]です。

そして、それが標準である場合、それらを使用するための付加価値はありますか?彼らの興味は何ですか?前もって感謝します :)

4

1 に答える 1

7

keysort / 2を使用できることは、表現としてペアのリスト((-)/ 2を含む)を選択する一般的な理由です。これは便利で短くて読みやすい表記法でもあり、(-)/ 2はすでに中置演算子です(そうです、Prolog ISO標準で規定されているという点で「標準」です)。もちろん、(-)/ 2-ペアの使用は、キーと値の組み合わせに限定されません。他の例には、id変数、変数-「用語内の出現回数」などがあります。ここでは、バイナリアソシエーションを表します。 。多くの場合、他の演算子は、変数のバインディングを表す変数=値(変数値ではなく)や、連結を表す文字列+文字列など、このような関連付けをより直感的に表現できます。

于 2011-11-08T15:54:10.263 に答える