Automatic Generation of CHR Constraint Solvers

Details Automatic Generation of CHR Constraint Solvers Automatic Generation of CHR Constraint Solvers

2004-09-14

arxiv.org/abs/cs/0409030v1

Computer Science

Logic in Computer Science

to be published in Theory and Practice of Logic Programming, 16 pages, 2 figures

Scientific paper

In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous works where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules) that can be used directly as CHR solvers.

Affiliated with

Also associated with

No associations

Rating

Automatic Generation of CHR Constraint Solvers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automatic Generation of CHR Constraint Solvers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic Generation of CHR Constraint Solvers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-621247