From Prolog III to Prolog IV: The Logic of Constraint ProgrammingRevisited

Authors:
Guy A. Narboni
Affiliations:
Implexe – Operational Intelligence for Industry, Marseille, France
Venue:
Constraints
Year:
1999

Citing 10
Cited 1

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integer and combinatorial optimization

Integer and combinatorial optimization
Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
An introduction to Prolog III

Communications of the ACM
Naive solving of non-linear constraints

Constraint logic programming
Constraint arithmetic on real intervals

Constraint logic programming
Prolog in 10 figures

Communications of the ACM
SD-solver: towards a “multidirectional” CLP-based simulation tool

Computational Economics
Algorithm = logic + control

Communications of the ACM
The Prince Project and its Applications

LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action

A tribute to Alain Colmerauer

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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