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