From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited |
| |
Authors: | Guy A. Narboni |
| |
Affiliation: | (1) Implexe – Operational Intelligence for Industry, Marseille, France |
| |
Abstract: | 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. |
| |
Keywords: | logic programming mathematical programming interval computations constraint-directed search |
本文献已被 SpringerLink 等数据库收录! |