CONSTRAINT LOGIC PROGRAMMING - A SURVEY

被引：566
|
作者：
JAFFAR, J [1 ]
MAHER, MJ [1 ]
机构：
[1] IBM CORP, THOMAS J WATSON RES CTR, YORKTOWN HTS, NY 10598 USA
来源：
JOURNAL OF LOGIC PROGRAMMING | 1994年 / 20卷
关键词：
D O I：
10.1016/0743-1066(94)90033-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, implementation issues, and programming for applications.
引用
收藏
页码：503 / 581
页数：79
相关论文
共 50 条
  • [1] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [2] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    BYTE, 1995, 20 (02): : 159 - 160
  • [3] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    BYTE, 1987, 12 (09): : 171 - &
  • [4] Constraint logic programming
    Gavanelli M.
    Rossi F.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [5] Constraint logic programming
    Wallace, Mark
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532
  • [6] Constraint logic programming
    Wallace, M
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
  • [7] Functional and constraint logic programming
    Rodríguez-Artalejo, M
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
  • [8] CONSTRAINT SATISFACTION USING CONSTRAINT LOGIC PROGRAMMING
    VANHENTENRYCK, P
    SIMONIS, H
    DINCBAS, M
    ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 113 - 159
  • [9] NEGATION AND CONSTRAINT LOGIC PROGRAMMING
    STUCKEY, PJ
    INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
  • [10] Coinductive Constraint Logic Programming
    Saeedloei, Neda
    Gupta, Gopal
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
12345