Constraint Handling Rules and Tabled Execution (2004)
| Venue: | In Proceedings of ICLP’04, International Conference on Logic Programming |
| Citations: | 11 - 4 self |
BibTeX
@INPROCEEDINGS{Schrijvers04constrainthandling,
author = {Tom Schrijvers and David S. Warren},
title = {Constraint Handling Rules and Tabled Execution},
booktitle = {In Proceedings of ICLP’04, International Conference on Logic Programming},
year = {2004},
pages = {120--136},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Both Constraint Handling Rules (CHR) and tabling - as implemented in XSB - are powerful enhancements of Prolog systems, based on fix point computation. Until now they have only been implemented in separate systems. This paper presents the work involved in porting a CHR system to XSB and in particular the technical issues related to the integration of CHR with tabled resolution. These issues include call abstraction, answer projection, entailment checking, answer combination and tabled constraint store representations. Di#erent optimizations related to tabling constraints are evaluated empirically. The integration requires no changes to the tabling engine. We also show that the performance of CHR programs without tabling is not a#ected. Now, with the combined power of CHR and tabling, it is possible to easily introduce constraint solvers in applications using tabling, or to use tabling in constraint solvers.
