Adding constraint solving to Mercury

被引：0
|
作者：
Becket, R [1 ]
de la Banda, MG
Marriott, K
Somogyi, Z
Stuckey, PJ
Wallace, M
机构：
[1] Univ Melbourne, Dept Comp Sci & Software Engn, Melbourne, Vic, Australia
[2] Monash Univ, Sch Comp Sci & Software Engn, Clayton, Vic 3168, Australia
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES | 2006年 / 3819卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The logic programming language Mercury is designed to support programming in the large. Programmer declarations in conjunction with powerful compile-time analysis and optimization allow Mercury programs to be very efficient. The original design of Mercury did not support constraint logic programming (CLP). This paper describes the extensions we added to Mercury to support CLP. Unlike similarly motivated extensions to Prolog systems, our objectives included preserving the purity of Mercury programs as much as possible, as well as avoiding any impact on the efficiency of non-CLP predicates and functions.
引用
收藏
页码：118 / 133
页数：16
相关论文
共 50 条
  • [1] A synthesis of constraint satisfaction and constraint solving
    Maher, MJ
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 525 - 539
  • [2] Constraint solving with constraint handling rules
    Frühwirth, T
    [J]. INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 14 - 30
  • [3] Binding-time analysis by constraint solving a modular and higher-order approach for mercury
    Vanhoof, W
    [J]. LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 399 - 416
  • [4] Constraint solving on terms
    Comon, H
    Kirchner, C
    [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 47 - 103
  • [5] Constraint solving for interpolation
    Rybalchenko, Andrey
    Sofronie-Stokkermans, Viorica
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 346 - +
  • [6] Distributed constraint solving
    不详
    [J]. AGENT-ORIENTED PROGRAMMING, 1999, 1630 : 213 - 246
  • [7] Constraint solving for interpolation
    Rybalchenko, Andrey
    Sofronie-Stokkermans, Viorica
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (11) : 1212 - 1233
  • [8] Combining constraint solving
    Baader, F
    Schulz, KU
    [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 104 - 158
  • [9] Soft constraint propagation and solving in constraint handling rules
    Bistarelli, S
    Frühwirth, T
    Marte, M
    Rossi, F
    [J]. COMPUTATIONAL INTELLIGENCE, 2004, 20 (02) : 287 - 307
  • [10] Solving Sudoku with Constraint Programming
    Crawford, Broderick
    Castro, Carlos
    Monfroy, Eric
    [J]. CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING, PROCEEDINGS, 2009, 35 : 345 - +
12345