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 条
  • [1] Soft constraint propagation and solving in constraint handling rules
    Bistarelli, S
    Frühwirth, T
    Marte, M
    Rossi, F
    COMPUTATIONAL INTELLIGENCE, 2004, 20 (02) : 287 - 307
  • [2] Integrating Abduction and Constraint Optimization in Constraint Handling Rules
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ECAI 2008, PROCEEDINGS, 2008, 178 : 903 - +
  • [3] Transactions in Constraint Handling Rules
    Schrijvers, Tom
    Sulzmann, Martin
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 516 - +
  • [4] Quantified Constraint Handling Rules
    Barichard, Vincent
    Stephan, Igor
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 210 - 223
  • [5] Aggregates in Constraint Handling Rules
    Sneyers, Jon
    Van Weert, Peter
    Schrijvers, Tom
    Demoen, Bart
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 446 - 448
  • [6] On completion of constraint handling rules
    Abdennadher, S
    Frühwirth, T
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 25 - 39
  • [7] Constraint Handling Rules - What Else?
    Fruehwirth, Thom
    RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, 2015, 9202 : 13 - 34
  • [8] CLP Projection for Constraint Handling Rules
    Haemmerle, Remy
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel V.
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 137 - 148
  • [9] Constraint Handling Rules and tabled execution
    Schrijvers, T
    Warren, DS
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 120 - 136
  • [10] Diagrammatic confluence for Constraint Handling Rules
    Haemmerle, Remy
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 737 - 753
12345