
Constraint Logic Programming
Selected Research
MIT Press
Published on 1. July 2008
Book
Paperback/Softback
500 pages
978-0-262-51210-7 (ISBN)
Description
This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.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.
More details
Series
Language
English
Place of publication
Cambridge, Mass.
United States
Publishing group
MIT Press Ltd
Target group
Professional and scholarly
Interest Age: From 18 years
Product notice
Paperback (trade)
Dimensions
Height: 229 mm
Width: 178 mm
Thickness: 33 mm
Weight
885 gr
ISBN-13
978-0-262-51210-7 (9780262512107)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Frédéric Benhamou is a Researcher in the Computer Science Department of the Faculté des Sciences de Luminy at the University of Marseilles.
Alain Colmerauer is Professor of Computer Science at the University of Marseilles.
Alain Colmerauer is Professor of Computer Science at the University of Marseilles.