Constraint Handling Rules and tabled execution

被引：9
|
作者：
Schrijvers, T [1 ]
Warren, DS
机构：
[1] Katholieke Univ Leuven, Dept Comp Sci, Louvain, Belgium
[2] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2004年 / 3132卷
关键词：
D O I：
10.1007/978-3-540-27775-0_9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. Different 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 affected. 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.
引用
收藏
页码：120 / 136
页数：17
相关论文
共 50 条
  • [21] SMCHR: Satisfiability modulo constraint handling rules
    Duck, Gregory J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 601 - 618
  • [22] The Computational Power and Complexity of Constraint Handling Rules
    Sneyers, Jon
    Schrijvers, Tom
    Demoen, Bart
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (02):
  • [23] Optimizing compilation of constraint handling rules in HAL
    Holzbaur, C
    De la Banda, MG
    Stuckey, PJ
    Duck, GJ
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 503 - 531
  • [24] CHRAnimation: An Animation Tool for Constraint Handling Rules
    Sharaf, Nada
    Abdennadher, Slim
    Fruehwirth, Thom
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 92 - 110
  • [25] The refined operational semantics of Constraint Handling Rules
    Duck, GJ
    Stuckey, PJ
    de la Banda, MG
    Holzbaur, C
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 90 - 104
  • [26] Introduction to the special issue on constraint handling rules
    Abdennadher, S
    Frühwirth, T
    Holzbaur, C
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 401 - 402
  • [27] Program Verification using Constraint Handling Rules and Array Constraint Generalizations
    De Angelis, Emanuele
    Pettorossi, Alberto
    Fioravanti, Fabio
    Proietti, Maurizio
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 73 - 117
  • [28] CONSTRAINT HANDLING, GARBAGE COLLECTION AND EXECUTION MODEL ISSUES IN ELIPSIS
    DOROCHEVSKY, M
    SCHUERMAN, K
    VERON, A
    XU, JY
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 569 : 17 - 28
  • [29] A system for tabled constraint logic programming
    Cui, BQ
    Warren, DS
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 478 - 492
  • [30] Parallelism, concurrency and distribution in constraint handling rules: A survey
    Fruehwirth, Thom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 759 - 805
12345