Logic Programming
The MIT Press Series in Logic Programming was created to accommodate the tremendous growth in the logic programming approach to computing and to support it through the publication of high-quality textbooks, monographs, collections, and proceedings in logic programming. This series is no longer active, and the MIT Press is no longer accepting proposals for books in the series.
Showing results 1-9 of 43
Filter Results OPEN +
The Art of Prolog
Advanced Programming Techniques
ISBN: 9780262691635
Publisher: The MIT Press
Pub Date: March 10, 1994
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results,...
The Gödel Programming Language
ISBN: 9780262519151
Publisher: The MIT Press
Pub Date: April 5, 1994
This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.
Logic Programming Languages
Constraints, Functions, and Objects
ISBN: 9780262511674
Publisher: The MIT Press
Pub Date: March 2, 1993
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic,...
Warren's Abstract Machine
A Tutorial Reconstruction
ISBN: 9780262510585
Publisher: The MIT Press
Pub Date: August 12, 1991
This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features...
The Practice of Prolog
ISBN: 9780262514453
Publisher: The MIT Press
Pub Date: January 1, 2003
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction...
The Craft of Prolog
ISBN: 9780262512275
Publisher: The MIT Press
Pub Date: December 7, 2009
The emphasis in The Craft of Prolog is on using Prolog effectively. It presents a loose collection of topics that build on and elaborate concepts learned in a first course.
Constraint Logic Programming
Selected Research
ISBN: 9780262512107
Publisher: The MIT Press
Pub Date: July 1, 2008
This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.
Meta-Logics and Logic Programming
ISBN: 9780262511681
Publisher: The MIT Press
Pub Date: March 17, 2003
Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable...
A Grammatical View of Logic Programming
ISBN: 9780262514446
Publisher: The MIT Press
Pub Date: January 1, 2003
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.
The Art of Prolog
Advanced Programming Techniques
ISBN: 9780262691635
Publisher: The MIT Press
Pub Date: March 10, 1994
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results,...
The Gödel Programming Language
ISBN: 9780262519151
Publisher: The MIT Press
Pub Date: April 5, 1994
This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.
Logic Programming Languages
Constraints, Functions, and Objects
ISBN: 9780262511674
Publisher: The MIT Press
Pub Date: March 2, 1993
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic,...
Warren's Abstract Machine
A Tutorial Reconstruction
ISBN: 9780262510585
Publisher: The MIT Press
Pub Date: August 12, 1991
This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features...
The Practice of Prolog
ISBN: 9780262514453
Publisher: The MIT Press
Pub Date: January 1, 2003
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction...
The Craft of Prolog
ISBN: 9780262512275
Publisher: The MIT Press
Pub Date: December 7, 2009
The emphasis in The Craft of Prolog is on using Prolog effectively. It presents a loose collection of topics that build on and elaborate concepts learned in a first course.
Constraint Logic Programming
Selected Research
ISBN: 9780262512107
Publisher: The MIT Press
Pub Date: July 1, 2008
This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation.
Meta-Logics and Logic Programming
ISBN: 9780262511681
Publisher: The MIT Press
Pub Date: March 17, 2003
Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable...
A Grammatical View of Logic Programming
ISBN: 9780262514446
Publisher: The MIT Press
Pub Date: January 1, 2003
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.