**Simply Logical: Intelligent Reasoning by Example**

by Peter Flach

**Publisher**: John Wiley 1994**ISBN/ASIN**: 0471941522**ISBN-13**: 9780471941521**Number of pages**: 247

**Description**:

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.

Download or read it online for free here:

**Download link**

(3.9MB, PDF)

## Similar books

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

(

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

(

**8473**views)

**An Introduction to Logic Programming through Prolog**

by

**Michael Spivey**-

**Prentice Hall**

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

(

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

(

**12122**views)