Constraint Logic Programming: Selected Research - Brossura

Brossura

ISBN 10: 0262512106 ISBN 13: 9780262512107

Casa editrice: MIT Press, 2008

Riassunto

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 C.L.P. 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 C.L.P. language design gathers work on original constraints and on top-level implementation. Frédéric Benhamou is a Researcher in the Computer Science Department of the Faculté des Sciences de Luminy at the University of Marseilles, where Alain Colmerauer is Professor of Computer Science.

Su questo libro

Informazioni sull?autore

Frédéric Benhamou is a Researcher in the Computer Science Department of the Faculté des Sciences de Luminy at the University of Marseilles.

Dettagli dell'edizione

• Editore: MIT Press
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 0262512106
• ISBN 13: 9780262512107
• Rilegatura: Copertina flessibile
• Numero di pagine: 504
• Redattore: Benhamou Frederic, Colmerauer Alain
• Contatto del produttore: non disponibile
• Persona responsabile: Purmerul LTD; https://strengholt.nl/en/; ; 22 Liuleburgaz Str., floor 4, app. 9; Plovdiv; 4000; Bulgaria