Constraint Handling Rules
Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である
多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、
独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。
CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
Q531152
宣言型プログラミング
Concept
Q197970
チューリング完全
Concept
Q163468
Prolog
Concept
Q308495
アブダクション
Concept
Q408386
推論
Concept
Q529909
マルチエージェントシステム
Concept
Q30642
自然言語処理
Concept
Q865760
型システム
Concept
Q188522
テスト
Concept
Q54837
セマンティックウェブ
MISC
Q5164373
Constraint Handling Rules
MEDIA
29-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1991年
DATE
programming paradigm
influenced by