Constraint solving with constraint handling rules

被引：0
|
作者：
Frühwirth, T [1 ]
机构：
[1] Univ Munich, Inst Informat, D-80538 Munich, Germany
来源：
INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We describe how constraints are solved in constraint logic programming. To describe the algorithms at a high, abstract level, we use Constraint Handling Rules (CHR), a declarative language extension especially designed for writing user-defined constraints. CHR consist of multi-headed guarded rules that rewrite constraints into simpler ones until they are solved. In this article, we assume some familiarity with Prolog.
引用
收藏
页码：14 / 30
页数：17
相关论文
共 50 条
  • [21] 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
  • [22] 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
  • [23] 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
  • [24] 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
  • [25] Parallelism, concurrency and distribution in constraint handling rules: A survey
    Fruehwirth, Thom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 759 - 805
  • [26] A complete and terminating execution model for Constraint Handling Rules
    Betz, Hariolf
    Raiser, Frank
    Fruehwirth, Thom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 597 - 610
  • [27] Understanding functional dependencies via constraint handling rules
    Sulzmann, Martin
    Duck, Gregory J.
    Peyton-Jones, Simon
    Stuckey, Peter J.
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 83 - 129
  • [28] Compiling constraint handling rules for efficient tabled evaluation
    Sarna-Starosta, Beata
    Ramakrishnan, C. R.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 170 - +
  • [29] Compiling constraint handling rules into prolog with attributed variables
    Holzbaur, C
    Frühwirth, T
    PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 117 - 133
  • [30] Representing argumentation schemes with Constraint Handling Rules (CHR)
    Gordon, Thomas F.
    Friedrich, Horst
    Walton, Douglas
    ARGUMENT & COMPUTATION, 2018, 9 (02) : 91 - 119
12345