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 条
  • [11] A CONSTRAINT LOGIC PROGRAMMING SHELL
    LIM, P
    STUCKEY, PJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 75 - 88
  • [12] AN INTRODUCTION TO CONSTRAINT LOGIC PROGRAMMING
    KRIWACZEK, F
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 82 - 94
  • [13] Sets and constraint logic programming
    Dovier, A
    Piazza, C
    Pontelli, E
    Rossi, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (05): : 861 - 931
  • [14] Functional and (Constraint) Logic Programming
    Escobar, Santiago
    Falaschi, Moreno
    INFORMATION AND COMPUTATION, 2014, 235 : 1 - 2
  • [15] HIERARCHICAL CONSTRAINT LOGIC PROGRAMMING
    WILSON, M
    BORNING, A
    JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (3-4): : 277 - 318
  • [16] Logic, optimization, and constraint programming
    Hooker, JN
    INFORMS JOURNAL ON COMPUTING, 2002, 14 (04) : 295 - 321
  • [17] Temporal logic and annotated constraint logic programming
    Fruhwirth, T
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 58 - 68
  • [18] On integrating Constraint Logic Programming and Integer Programming
    Appa, G
    Mourtos, I
    Magos, D
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
  • [19] Polynomial-time learning in logic programming and constraint logic programming
    Sebag, M
    Rouveirol, C
    INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
  • [20] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
12345