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
相关论文
共 27 条
  • [1] Beldiceanu, N., Contejean, E., Introducing global constraints in CHIP (1994) Mathl. Comput. Modelling, 20 (12), pp. 97-123
  • [2] Benhamou, F., Touraïvane, Prolog IV: Langage et algorithmes (1995) Proc. of JFPL 95, , Dijon
  • [3] Beringer, H., De Backer, B., Combinatorial problem solving in constraint logic programming with cooperating solvers (1995) Logic Programming: Formal Methods and Practical Applications, pp. 245-272. , C. Beierle and L. Plümer, editors, Elsevier
  • [4] Bisière, C., SD-solver: Towards a "multidirectional" CLP-based simulation tool (1995) Computation Economics
  • [5] Bleuzen Guernalec, N., Colmerauer, A., Narrowing a 2n-block of sortings in O(n log n) (1997) Proc. of CP'97, , Schloss Hagenberg
  • [6] Cleary, J.G., Logical arithmetic (1987) Future Generation Computing Systems, 2 (2), pp. 125-149
  • [7] Colmerauer, A., Prolog in 10 figures (1985) Communications of the ACM, 28 (12), pp. 1296-1310
  • [8] Colmerauer, A., An introduction to Prolog III (1990) Communications of the ACM, 33 (7), pp. 69-90
  • [9] Colmerauer, A., Naive solving of non-linear constraints (1993) Constraint Logic Programming: Selected Research, pp. 89-112. , F. Benhamou and A. Colmerauer, editors, The MIP Press
  • [10] Colmerauer, A., Les bases de Prolog IV (1996) Le Manuel de Prolog IV, PrologIA
123