**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

**Prolog Experiments in Discrete Mathematics, Logic, and Computability**

by

**James Hein**-

**Portland State University**

Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.

(

**16013**views)

**Artificial Intelligence through Prolog**

by

**Neil C. Rowe**-

**Prentice-Hall**

Artificial intelligence is a hard subject to learn. The author have written a book to make it easier. He explains difficult concepts in a simple, concrete way. This book is intended for all first courses in artificial intelligence.

(

**19714**views)

**The Power of Prolog**

by

**Markus Triska**-

**metalevel.at**

The goal of this material is to bridge the gap between the great Prolog textbooks of the past and the language as it currently is, several decades after these books were written. You will see that many limitations of the past are no longer relevant.

(

**3021**views)

**Applications of Prolog**

by

**Attila Csenki**-

**BookBoon**

In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.

(

**14723**views)