-
画像引用元: upload.wikimedia.org
CONSTRAINT HANDLING RULES
Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステ...... Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存......推定知名度 0.06% (15-75歳男女) --% (20-35歳男女) 過去の推移
-
推定知名度
0.06% (15-75歳男女)--% (20-35歳男女)過去の推移