CHR++: An efficient CHR system in C++ with don’t know non-determinism

This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make it easier to model problems of NP (Non-deterministic Polynomial time) complexity class thanks to the support of don’t know non-determinism....

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Expert systems with applications Ročník 238; s. 121810
Hlavní autor: Barichard, Vincent
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Ltd 15.03.2024
Elsevier
Témata:
C++
Computer Science
Constraint handling rules
Constraint handling rules with disjunction
Constraint logic programming systems
Constraint processing
Domain specific languages
Constraint handling rules
Constraint handling rules with disjunction
Constraint processing
C++
Constraint logic programming systems
Domain specific languages
ISSN:0957-4174, 1873-6793
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make it easier to model problems of NP (Non-deterministic Polynomial time) complexity class thanks to the support of don’t know non-determinism. CHR++ conforms to the refined semantics of CHR and provides a high-level syntax similar to the historical CHR implementations in Prolog. It is a powerful system that incorporates many of the high-level optimisations known to date. Like implementations made on top of Prolog, it handles don’t know non-determinism through support for the CHR extension. CHR++ is the first non-Prolog CHR system that natively supports don’t know non-determinism. It makes it easier to model constrained decision or optimisation problems and shows a significant gain in efficiency compared with CHR Prolog systems. It equals or exceeds the fastest CHR systems in Java and C, but is able to tackle a whole class of problems unattainable by those systems. •CHR++ is a powerful implementation of CHR on top of the C++ language.•CHR++ allows to model and solve decision and optimisation problems.•CHR is a CHR extension which adds the don’t know non-determinism, to gives the ability to backtrack on past states.•The mutable variables provided with CHR++ allow the manipulation of logical variables with a value that can change over time.•CHR++ describes CHR logic rules in a format similar to formal semantics.
ISSN:0957-4174
1873-6793
DOI:10.1016/j.eswa.2023.121810