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 Art of Prolog

by Leon S. Sterling and Ehud Y. Shapiro

Pub Date: Mar 10, 1994

The Gödel Programming Language

by Patricia Hill and John W. Lloyd

Pub Date: Apr 05, 1994

Logic Programming Languages

Edited by Krzysztof R. Apt, J. W. de Bakker and J. M. Rutten

Pub Date: Mar 02, 1993

Warren's Abstract Machine

by Hassan Aït-Kaci

Pub Date: Aug 12, 1991

The Practice of Prolog

Edited by Leon S. Sterling

Pub Date: Jan 01, 2003

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

A Grammatical View of Logic Programming

by Pierre Deransart and Jan Maluszyński

Pub Date: Jan 01, 2003

Concurrent Constraint Programming

by Vijay A. Saraswat

Pub Date: Mar 22, 1993

Types in Logic Programming

Edited by Frank Pfenning

Pub Date: Jun 12, 1992

Concurrent Prolog

Edited by Ehud Y. Shapiro

Pub Date: Dec 28, 1987

Logic Programming

Edited by Jean Louis Lassez

Pub Date: Sep 11, 1987

Logic Programming

Edited by Pascal Van Hentenryck

Pub Date: Jul 24, 1994

Meta-Programming in Logic Programming

Edited by Harvey Abramson and M H. Rogers

Pub Date: Oct 04, 1989

Sort by: Per page: ‹123›