**An Introduction to Logic Programming through Prolog**

by Michael Spivey

**Publisher**: Prentice Hall 2008**ISBN/ASIN**: 0135360471**ISBN-13**: 9780135360477**Number of pages**: 258

**Description**:

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

Download or read it online for free here:

**Download link**

(1.4MB, PDF)

## Similar books

**Adventure in Prolog**

by

**Dennis Merritt**-

**Springer**

This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.

(

**21623**views)

**Learn Prolog Now!**

by

**Patrick Blackburn, Johan Bos, Kristina Striegnitz**-

**College Publications**

One of the most popular introductions to Prolog, an introduction prized for its clarity and down-to-earth approach. It is widely used as a textbook at university departments around the world, and even more widely used for self study.

(

**17653**views)

**The First 10 Prolog Programming Contests**

by

**Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon**

This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions could have been constructed during the contest under time pressure, and so you will find many solutions using the generate and test strategy.

(

**12737**views)

**Prolog and Natural-Language Analysis**

by

**F. C. N. Pereira, S. M. Shieber**-

**Center for the Study of Language**

A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.

(

**20477**views)