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 に答える