Constraint Handling Rules
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/26 07:52 UTC 版)
Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが[3]、 独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。 CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
- ^ Frühwirth T., Introducing Simplification Rules. Internal Report ECRC-LP-63, ECRC Munich, Germany, October 1991, Presented at the Workshop Logisches Programmieren, Goosen/Berlin, Germany, October 1991 and the Workshop on Rewriting and Constraints, Dagstuhl, Germany, October 1991.
- ^ Frühwirth T., Theory and Practice of Constraint Handling Rules. Special Issue on Constraint Logic Programming (P. Stuckey and K. Marriott, Eds.), Journal of Logic Programming, Vol 37(1-3), October 1998.
- ^ Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): 2009.
- ^ a b c Frühwirth T., Constraint Handling Rules - The Story So Far. Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, p.13-14, July 10-12, 2006.
- ^ S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In 3rd Intl. Conf. on Principles and Practice of Constraint Programming, LNCS 1330. Springer, 1997.
- 1 Constraint Handling Rulesとは
- 2 Constraint Handling Rulesの概要
- 3 実装
- 4 外部リンク
固有名詞の分類
プログラミング言語 | Delphi XBase Constraint Handling Rules ABAP Ratfor |
並行計算 | 動的データ交換 ThreadWeaver Constraint Handling Rules Component Object Model 並行制約プログラミング |
Weblioに収録されているすべての辞書からConstraint Handling Rulesを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からConstraint Handling Rulesを検索
- Constraint Handling Rulesのページへのリンク