Constraint Logic Programming: Selected Research

✍ Scribed by Frédéric Benhamou, Alain Colmerauer

Publisher: The MIT Press
Year: 1993
Tongue: English
Leaves: 504
Series: Logic Programming
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Constraint logic programming, the notion of computing with partial information, is becoming recognized as a way of dramatically improving on the current generation of programming languages. This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.

Beginning in the mid-1980s constraint logic programming became a powerful and essential theoretical concept whose first practical application was the development of efficient programming languages based on Prolog. Benhamou and Colmerauer have taken care to illustrate the strong links between current research and existing CLP languages. The first part of the book focuses on significant theoretical studies that propose general models for constraint programming, and the two following parts develop current ideas on themes derived from these languages (numerical constraints, Booleans, and other finite domains). The concluding part on CLP language design gathers work on original constraints and on top-level implementation.

📜 SIMILAR VOLUMES

Constraint Logic Programming using Eclip

📁 Constraint Logic Programming using Eclipse

✍ Krzysztof R. Apt, Mark Wallace 📂 Library 📅 2007 🏛 Cambridge University Press 🌐 English

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software

Constraint Logic Programming. A Survey

📁 Constraint Logic Programming. A Survey

✍ Jaffar J., Maher M.J. 📂 Library 📅 1994 🌐 English

Constraint satisfaction in logic program

📁 Constraint satisfaction in logic programming

✍ Pascal Van Hentenryck 📂 Library 📅 1989 🏛 The MIT Press 🌐 English

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these

Parallel and Constraint Logic Programmin

📁 Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints

✍ Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) 📂 Library 📅 1998 🏛 Springer US 🌐 English

Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers ded

Recent Advances in Constraints: 12th Ann

📁 Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt,

✍ François Fages, Francesca Rossi, Sylvain Soliman 📂 Library 📅 2008 🏛 Springer 🌐 English

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were ca

Logic-Based 0–1 Constraint Programming

📁 Logic-Based 0–1 Constraint Programming

✍ Peter Barth (auth.) 📂 Library 📅 1996 🏛 Springer US 🌐 English

A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment. The first