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

• Books
• Site Content

Sort by: Per page: ‹123›

The Craft of Prolog

by Richard O'Keefe

Pub Date: Dec 07, 2009

Constraint Logic Programming

Edited by Frédéric Benhamou and Alain Colmerauer

Pub Date: Jul 01, 2008

Meta-Logics and Logic Programming

Edited by Krzysztof R. Apt and Franco Turini

Pub Date: Mar 17, 2003

The Practice of Prolog

Edited by Leon S. Sterling

Pub Date: Jan 01, 2003

A Grammatical View of Logic Programming

by Pierre Deransart and Jan Maluszyński

Pub Date: Jan 01, 2003

Logic Programming

Edited by Danny De Schreye

Pub Date: Nov 08, 1999

Logic Programming

Edited by Joxan Jaffar

Pub Date: May 27, 1998

Logic Programming

Edited by Jan Maluszyński

Pub Date: Oct 10, 1997

Logic Programming

Edited by Lee Naish

Pub Date: Jul 09, 1997

Logic Programming

Edited by Michael Maher

Pub Date: Aug 14, 1996

Inductive Logic Programming

by Francesco Bergadano and Daniele Gunetti

Pub Date: Dec 28, 1995

Logic Programming

Edited by John W. Lloyd

Pub Date: Dec 11, 1995

Logic Programming

Edited by Leon S. Sterling

Pub Date: Jun 16, 1995

Logic Programming

Edited by Maurice Bruynooghe

Pub Date: Oct 25, 1994

Logic Programming

Edited by Pascal Van Hentenryck

Pub Date: Jul 24, 1994

Sort by: Per page: ‹123›