About: Constraint Handling Rules

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) declarative, rule-based language (en)
dbo:influencedBy	dbr:Prolog
dbo:wikiPageExternalLink	http://chr.informatik.uni-ulm.de/~webchr/ http://listserv.cc.kuleuven.ac.be/archives/chr.html http://dtai.cs.kuleuven.be/CHR/ http://dtai.cs.kuleuven.be/CHR/biblio/ https://arxiv.org/abs/cs/0408027
dbo:wikiPageWikiLink	dbr:Prolog_syntax_and_semantics dbr:Confluence_(abstract_rewriting) dbr:Declarative_programming dbr:Logic_programming dbr:Compiler dbr:SQL dbr:Natural_language_processing dbr:Prolog dbr:Unification_(computer_science) dbr:Type_system dbr:Scheduling_(production_processes) dbc:Concurrent_programming_languages dbr:Java_(programming_language) dbr:Abductive_reasoning dbr:Tautology_(logic) dbc:Constraint_logic_programming dbr:Programming_language dbr:Lazy_evaluation dbr:Production_system_(computer_science) dbr:Constraint_programming dbr:Multi-agent_system dbr:C_(programming_language) dbc:Declarative_programming_languages dbr:Semantics_(computer_science) dbr:Software_testing dbr:Rete_algorithm dbr:Guard_(computer_science) dbr:Partially_ordered_set dbr:Rewriting dbr:Pattern_matching dbr:Critical_pair_(logic) dbr:Forward_chaining dbr:SWI-Prolog dbr:Constraint_logic_programming dbr:Term_algebra dbc:Constraint_programming_languages dbr:Grammar_induction dbr:Software_verification dbr:Haskell_(programming_language) dbr:Business_rules_engine dbr:Turing_complete dbr:LEAPS_(algorithm) dbr:Multi-set dbr:Spatial-temporal_reasoning dbr:Unification_(computing) dbr:Non-deterministic_programming dbr:Logical_variable dbr:TREAT
dbp:designer	Thom Frühwirth (en)
dbp:influencedBy	dbr:Prolog
dbp:name	Constraint Handling Rules (en)
dbp:paradigms	dbr:Declarative_programming dbr:Constraint_logic_programming
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Infobox_programming_language dbt:Official_website dbt:Short_description
dct:subject	dbc:Concurrent_programming_languages dbc:Constraint_logic_programming dbc:Declarative_programming_languages dbc:Constraint_programming_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	Constraint Handling Rules (en) Constraint Handling Rules (ja)
owl:sameAs	freebase:Constraint Handling Rules wikidata:Constraint Handling Rules dbpedia-ja:Constraint Handling Rules dbpedia-fa:Constraint Handling Rules dbpedia-global:Constraint Handling Rules dbr:Constraint Handling Rules
prov:wasDerivedFrom	wikipedia-en:Constraint_Handling_Rules?oldid=1284329831&ns=0
foaf:homepage	http://constraint-handling-rules.org http://constraint-handling-rules.org
foaf:isPrimaryTopicOf	wikipedia-en:Constraint_Handling_Rules
foaf:name	Constraint Handling Rules (CHR) (en)
is dbo:influenced of	dbr:Prolog
is dbo:wikiPageDisambiguates of	dbr:CHR
is dbo:wikiPageRedirects of	dbr:LEAPS_(algorithm) dbr:Constraint_handling_rules dbr:CHR.js
is dbo:wikiPageWikiLink of	dbr:List_of_concurrent_and_parallel_programming_languages dbr:Satisfiability_modulo_theories dbr:CLIPS dbr:Prolog dbr:List_of_programming_languages_by_type dbr:CHR dbr:Knowledge-based_systems dbr:Production_system_(computer_science) dbr:Model-theoretic_grammar dbr:Forward_chaining dbr:RuleML_Symposium dbr:Constraint_logic_programming dbr:B-Prolog dbr:List_of_programming_languages dbr:LEAPS_(algorithm) dbr:Constraint_handling_rules dbr:CHR.js
is foaf:primaryTopic of	wikipedia-en:Constraint_Handling_Rules