CONSTRAINT LOGIC PROGRAMMING - A SURVEY

被引：568

作者：

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

共 268 条

[21]

BAUDINET M, 1988, 3RD P S LOG COMP SCI, P334

[22]

BENHAMOUT F, 1993, 10TH P INT C LOG PRO, P517

[23]

BENHAMOUT F, 1993, CONSTRAINT LOGIC PRO, P307

[24]

BENHAMOUT F, 1993, CONSTRAINT LOGIC PRO

[25]

BERTHIER F, 1990, 2ND P C EC ART INT C, P233

[26]

BERTHIER F, 1989, SEP P INT S COMP INT, P1

[27]

BISDORFF R, 1993, LOGIC PROGRAMM, P831

[28]

Bockmayr A., 1993, CONSTRAINT LOGIC PRO, P327

[29]

BOIZUMAULT P, 1993, MIT PS LOG, P661

[30] THE PROGRAMMING LANGUAGE ASPECTS OF THINGLAB, A CONSTRAINT-ORIENTED SIMULATION LABORATORY [J].

BORNING, A .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04) :353-387

← 1 2 3 4 5 6 7 8 9 10 →