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

The Craft of Prolog

Richard O'Keefe

Dec 07, 2009

Constraint Logic Programming

Frédéric Benhamou, Alain Colmerauer

Jul 01, 2008

Meta-Logics and Logic Programming

Krzysztof R. Apt, Franco Turini

Mar 17, 2003

The Practice of Prolog

Leon S. Sterling

Jan 01, 2003

A Grammatical View of Logic Programming

Pierre Deransart, Jan Maluszyński

Jan 01, 2003

Logic Programming

Danny De Schreye

Nov 08, 1999

Logic Programming

Joxan Jaffar

May 27, 1998

Logic Programming

Jan Maluszyński

Oct 10, 1997

Logic Programming

Lee Naish

Jul 09, 1997

Logic Programming

Michael Maher

Aug 14, 1996

Inductive Logic Programming

Francesco Bergadano, Daniele Gunetti

Dec 28, 1995

Logic Programming

John W. Lloyd

Dec 11, 1995

Logic Programming

Leon S. Sterling

Jun 16, 1995

Logic Programming

Maurice Bruynooghe

Oct 25, 1994

Logic Programming

Pascal Van Hentenryck

Jul 24, 1994

The Gödel Programming Language

Patricia Hill, John W. Lloyd

Apr 05, 1994

The Art of Prolog

Leon S. Sterling, Ehud Y. Shapiro

Mar 10, 1994

Logic Programming

Dale Miller

Oct 13, 1993

Logic Programming

David S. Warren

Jun 24, 1993

Concurrent Constraint Programming

Vijay A. Saraswat

Mar 22, 1993

Logic Programming Languages

Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten

Mar 02, 1993

Logic Programming

Krzysztof R. Apt

Oct 27, 1992

Types in Logic Programming

Frank Pfenning

Jun 12, 1992

Foundations of Disjunctive Logic Programming

Jorge Lobo, Jack Minker, Arcot Rajasekar

Apr 17, 1992

Logic Programming

Vijay A. Saraswat, Kazunori Ueda

Oct 03, 1991

Warren's Abstract Machine

Hassan Aït-Kaci

Aug 12, 1991

Parallel Logic Programming

Evan Tick

Jul 25, 1991

Logic Programming

Koichi Furukawa

Jun 17, 1991

Eco-Logic

Alan Bundy, Mandy Haggith, Robert Muetzelfeldt, David Robertson, Michael Uschold

Feb 04, 1991

Logic Programming

Saumya Debray, Manuel Hermenegildo

Nov 07, 1990

Logic Programming

David H.D. Warren, Peter Szeredi

May 22, 1990

Prolog VLSI Implementations

Pierluigi Civera, Gianluca Piccinini, Maurizio Zamboni

Apr 12, 1990

Prolog and Its Applications

Alan Bond, Basuki Soetarman

Nov 03, 1989

Logic Programming

Ewing Lusk, Ross A. Overbeek

Oct 05, 1989

Meta-Programming in Logic Programming

Harvey Abramson, M H. Rogers

Oct 04, 1989

Logic Programming

Giorgio Levi, Maurizio Martelli

Jun 14, 1989

Logic-Based Knowledge Representation

Peter M. Jackson, Johannes Reichgelt, Frank van Harmelen

Apr 12, 1989

Constraint Satisfaction in Logic Programming

Pascal Van Hentenryck

Mar 23, 1989

Logic Programming

Robert A. Kowalski, Kenneth Bowen

Aug 15, 1988

Logic Programming

Robert A. Kowalski, Kenneth Bowen

Aug 15, 1988

Concurrent Prolog

Ehud Y. Shapiro

Dec 28, 1987

Logic Programming

Jean Louis Lassez

Sep 11, 1987

The Art of Prolog

Leon S. Sterling, Ehud Y. Shapiro

Aug 27, 1986