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 条
  • [31] Satisfying Poetry Properties Using Constraint Handling Rules
    El Bolock, Alia
    Abdennadher, Slim
    COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING (CICLING 2015), PT II, 2015, 9042 : 335 - 347
  • [32] Expressive power of constraint handling rules extensions and fragments
    Mauro, Jacopo
    Bulletin of the European Association for Theoretical Computer Science, 2013, 111 : 168 - 194
  • [33] Constraint handling rules with binders, patterns and generic quantification
    Serrano, Alejandro
    Hage, Jurriaan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 992 - 1009
  • [34] Optimal union-find in Constraint Handling Rules
    Schrijvers, T
    Frühwirth, T
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 213 - 224
  • [35] Implementation of Logical Retraction in Constraint Handling Rules with Justifications
    Fruehwirth, Thom
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 37 - 52
  • [36] University course timetabling using constraint handling rules
    Abdennadher, S
    Marte, M
    APPLIED ARTIFICIAL INTELLIGENCE, 2000, 14 (04) : 311 - 325
  • [37] A linear-logic semantics for constraint handling rules
    Betz, H
    Frühwirth, T
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS, 2005, 3709 : 137 - 151
  • [38] A prolog constraint handling rules compiler and runtime system
    Holzbaur, C
    Frühwirth, T
    APPLIED ARTIFICIAL INTELLIGENCE, 2000, 14 (04) : 369 - 388
  • [39] EXPRESSIVE POWER OF CONSTRAINT HANDLING RULES EXTENSIONS AND FRAGMENTS
    Mauro, Jacopo
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2013, (111): : 168 - 194
  • [40] A unified semantics for constraint handling rules in transaction logic
    Meister, Marc
    Djelloul, Khalil
    Robin, Jacques
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 201 - +
12345