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 条

[41] (Co-)Inductive semantics for Constraint Handling Rules
Haemmerle, Remy
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 593 - 609
[42] On proving confluence modulo equivalence for Constraint Handling Rules
Christiansen, Henning
Kirkeby, Maja H.
FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 57 - 95
[43] Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Gall, Daniel
Fruehwirth, Thom
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2018, 2018, 10818 : 116 - 131
[44] Towards Automatic Poetry Generation using Constraint Handling Rules
el Bolock, Alia
Abdennadher, Slim
30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1868 - 1873
[45] Concurrent goal-based execution of Constraint Handling Rules
Lam, Edmund S. L.
Sulzmann, Martin
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 841 - 879
[46] Analysing graph transformation systems through constraint handling rules
Raiser, Frank
Fruehwirth, Thom
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 65 - 109
[47] Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Fruehwirth, Thom
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 147 - 163
[48] CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
Hanus, Michael
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, 2015, 9131 : 74 - 89
[49] A synthesis of constraint satisfaction and constraint solving
Maher, MJ
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 525 - 539
[50] Intelligent search strategies based on adaptive constraint handling rules
Wolf, A
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 567 - 594

← 1 2 3 4 5 →