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

**Logic, Programming and Prolog**

by

**Ulf Nilsson, Jan Mauszynski**-

**John Wiley & Sons Inc**

This textbook provides a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog. The authors limited their attention to the most important areas of logic programming.

(

**20764**views)

**Building Expert Systems in Prolog**

by

**Dennis Merritt**-

**Amzi! inc.**

This book is designed to teach you how to build expert systems from the inside out. The author presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.

(

**16580**views)

**Prolog Techniques**

by

**Attila Csenki**-

**BookBoon**

This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.

(

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

(

**17062**views)