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.
Series editor: Ehud Y. Shapiro
Search Results
The Art of Prolog
Pub Date: Mar 10, 1994
The Gödel Programming Language
Pub Date: Apr 05, 1994
Logic Programming Languages
Pub Date: Mar 02, 1993
Warren's Abstract Machine
Pub Date: Aug 12, 1991
The Practice of Prolog
Pub Date: Jan 01, 2003
The Craft of Prolog
Pub Date: Dec 07, 2009
Constraint Logic Programming
Pub Date: Jul 01, 2008
Meta-Logics and Logic Programming
Pub Date: Mar 17, 2003
A Grammatical View of Logic Programming
Pub Date: Jan 01, 2003
Concurrent Constraint Programming
Pub Date: Mar 22, 1993
Types in Logic Programming
Pub Date: Jun 12, 1992
Concurrent Prolog
Pub Date: Dec 28, 1987
Logic Programming
Pub Date: Sep 11, 1987
Logic Programming
Pub Date: Jul 24, 1994
Meta-Programming in Logic Programming
Pub Date: Oct 04, 1989