Constraint Handling Rules
Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
Constraint Handling RulesB-PrologCHRCHR.jsCLIPSConcurrent constraint logic programmingConstraint handling rulesConstraint logic programmingConstraint satisfactionECLiPSeForward chainingFrançois FagesKnowledge-based systemsLEAPS (algorithm)List of JavaScript librariesList of concurrent and parallel programming languagesList of programming languagesList of programming languages by typeModel-theoretic grammarProduction system (computer science)PrologRuleML SymposiumSatisfiability modulo theories
Link from a Wikipage to another Wikipage
influenced
Wikipage disambiguates
Wikipage redirect
influenced
primaryTopic
Constraint Handling Rules
Constraint Handling Rules(CHR)は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である。多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが、独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。
has abstract
Constraint Handling Rules(CHR) ...... ソフトウェアのテストと診断、セマンティックウェブなどである。
@ja
influenced by
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,055,096
Link from a Wikipage to another Wikipage
label
Constraint Handling Rules
@en
Constraint Handling Rules
@ja
name
Constraint Handling Rules (CHR)
@en
designer
Thom Frühwirth
@en
influenced by
name
Constraint Handling Rules
@en
wikiPageUsesTemplate
subject
hypernym
comment
Constraint Handling Rules(CHR) ...... ソフトウェアのテストと診断、セマンティックウェブなどである。
@ja