Computer Science – Programming Languages
Scientific paper
2007-12-26
Computer Science
Programming Languages
Accepted for publication in Theory and Practice of Logic Programming
Scientific paper
Tabled Constraint Logic Programming is a powerful execution mechanism for dealing with Constraint Logic Programming without worrying about fixpoint computation. Various applications, e.g in the fields of program analysis and model checking, have been proposed. Unfortunately, a high-level system for developing new applications is lacking, and programmers are forced to resort to complicated ad hoc solutions. This papers presents TCHR, a high-level framework for tabled Constraint Logic Programming. It integrates in a light-weight manner Constraint Handling Rules (CHR), a high-level language for constraint solvers, with tabled Logic Programming. The framework is easily instantiated with new application-specific constraint domains. Various high-level operations can be instantiated to control performance. In particular, we propose a novel, generalized technique for compacting answer sets.
Demoen Bart
Schrijvers Tom
Warren David S.
No associations
LandOfFree
TCHR: a framework for tabled CLP 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 TCHR: a framework for tabled CLP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and TCHR: a framework for tabled CLP will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-476719