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 条
  • [11] Theory and practice of constraint handling rules
    Fruhwirth, T
    JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 95 - 138
  • [12] Observable confluence for constraint handling rules
    Duck, Gregory J.
    Stuckey, Peter J.
    Sulzmann, Martin
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 224 - +
  • [13] 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
  • [14] A comparison of constraint handling rules with equivalent transformation rules
    Shigeta, Y
    Akama, K
    Chippimolchai, P
    Ishikawa, T
    MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 345 - 351
  • [15] Converting Constraint Handling Rules to Equivalent Transformation Rules
    Shigeta, Yoshinori
    Akama, Kiyoshi
    Mabuchi, Hiroshi
    Koike, Hidekatsu
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2006, 10 (03) : 339 - 348
  • [16] Confluence Modulo Equivalence in Constraint Handling Rules
    Christiansen, Henning
    Kirkeby, Maja H.
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 41 - 58
  • [17] Logical grammars based on Constraint Handling Rules
    Christiansen, H
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 481 - 481
  • [18] Tutorial: Reasoning with, about and for constraint handling rules
    Fruehwirth, T
    Abdennadher, S
    FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 192 - 192
  • [19] 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):
  • [20] SMCHR: Satisfiability modulo constraint handling rules
    Duck, Gregory J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 601 - 618
12345