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....

Full description

Saved in:
Bibliographic Details
Published in:Expert systems with applications Vol. 238; p. 121810
Main Author: Barichard, Vincent
Format: Journal Article
Language:English
Published: Elsevier Ltd 15.03.2024
Elsevier
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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