From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited

被引：2

作者：

Narboni G.A. ^{[1
]}

机构：

[1] Implexe - Oper. Intell. for Industry, Marseille

来源：

Constraints | 1999年 / 4卷 / 4期

关键词：

Constraint-directed search; Interval computations; Logic programming; Mathematical programming;

D O I：

10.1023/A:1009816922431

中图分类号：

学科分类号：

摘要：

Constraint programming languages stem from the integration of constraints in conditional rules. By taking a close look at the design choices made for Prolog IV, the author retraces the general evolution of this recent and novel paradigm, from its roots in inference systems and optimization, to its applications in model building and problem solving.

引用

页码：313 / 335

页数：22

共 50 条

[1] From Prolog III to Prolog IV: The logic of constraint programming revisited
Narboni, Guy A.
Constraints, 1999, 4 (04): : 313 - 335
[2] SPECIALIZATION IN LOGIC PROGRAMMING - FROM HORN CLAUSE LOGIC TO PROLOG AND CONCURRENT PROLOG
KOK, JN
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 401 - 413
[3] LOGIC PROGRAMMING IN PROLOG
GOODALL, A
DATA PROCESSING, 1984, 26 (02): : 37 - &
[4] LOGIC PROGRAMMING AND PROLOG - A TUTORIAL
DAVIS, RE
IEEE SOFTWARE, 1985, 2 (05) : 53 - 62
[5] Prolog: Logic based programming
Barth, Gerhard
IT - Information Technology, 1987, 29 (04): : 217 - 226
[6] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
SHIFMAN, M
JELOVSEK, FR
M D COMPUTING, 1988, 5 (02): : 36 - &
[7] Logic programming and the execution model of Prolog
Tamir, DE
Kandel, A
INFORMATION SCIENCES-APPLICATIONS, 1995, 4 (03): : 167 - 191
[8] Critical factors in the evolution of logic programming and Prolog
DarbyDowman, K
Little, J
EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 1997, 6 (01) : 67 - 75
[9] XSB: Extending Prolog with Tabled Logic Programming
Swift, Terrance
Warren, David S.
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 157 - 187
[10] MProlog: An extension of prolog for modal logic programming
Nguyen, LA
LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 469 - 470

← 1 2 3 4 5 →