CHR meaning in Maths ?

Answer:

What is Constraint Handling Rules mean?

Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany. Originally intended for constraint programming, CHR finds applications in grammar induction, type systems, abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing, and verification.

A CHR program, sometimes called a constraint handler, is a set of rules that maintain a constraint store, a multi-set of logical formulas. Execution of rules may add or remove formulas from the store, thus changing the state of the program. The order in which rules "fire" on a given constraint store is non-deterministic, according to its abstract semantics and deterministic (top-down rule application), according to its refined semantics.

Although CHR is Turing complete, it is not commonly used as a programming language in its own right. Rather, it is used to extend a host language with constraints. Prolog is by far the most popular host language and CHR is included in several Prolog implementations, including SICStus and SWI-Prolog, although CHR implementations also exist for Haskell, Java, C, SQL, and JavaScript. In contrast to Prolog, CHR rules are multi-headed and are executed in a committed-choice manner using a forward chaining algorithm.

reference

Full Form	Category
Christened on (date)	Academic & Science
Center for Historical Research	Academic & Science
Center for Hazards Research	Academic & Science
Center for Hearing Research	Academic & Science
Chateauroux	Airport Code
Gener, S. A.	Business
SCOR Holdings American Depositary Receipts	Business
Chalmers Ltd	Business
Café Hôtel Restaurant	Business
Christian Hit Radio	Community
Community Health Representatives	Community
Contemporary Hit Radio	Community
Crown Heart Ruin	Community
Chronicle of Human Rights	Community
Committee on Human Research	Community
Community Housing and Resources	Community
Committee on Human Rights	Community
Character	Computer Assembly Language
Character File	Computing
Chromia	Cryptocurrency
Character Set (turbo C - Turbo Pascal)	File Type
Borland Language Stroke Character Font File	File Type
Center for Human Reproduction	General
Control Headquarters Rescue	General
Contemporary Hits Radio	General
Cursive Handwritten Recognition	General
Colorado Horse Rescue	General
Complete Hematologic Remission	General
Cloud Hosted Router	General
Civilian Human Resources	General
California Herbal Remedies	General
Canadian Hot Rods	General
Classic Hot Rods	General
Club Hot Rod	General
Coupe High Ride	General
Challenge Ronde	General
Compact High Rider	General
Cross Hatch Runabout	General
Cargo Tie Down Hooks Rings	General
Cylinder Head Research	Governmental
Commission on Human Relations	Governmental
Commission on Human Rights	Governmental
CHILKAHAR	Indian Railway Station
CHRistus	International
Constraint Handling Rules	Maths
Chronological	Medical
Centre Hospitalier Regional	Medical
Corticotropin Releasing Hormone	Medical
Center for Hospitality Research	Medical
Community Health Resources	Medical
Community Health Representative	Medical
Comprehensive Health Recovery	Medical
Corporate Health Resources	Medical
Complete Healthcare Retrofitting	Medical
Communication History Report	Military and Defence
Can Hear Rockets	Military and Defence
Cherokee	Regional
Chestnut Ridge Railway Company	Regional
Calgary Health Region	Regional
Chestnut Ridge Railway	Regional
Cooper-harper Rating	Space Science