An Introduction to Logic Programming Through Prolog

by J.M. Spivey

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.

Genres: Programming

251 pages, Paperback

First published March 5, 1996

Reviews

[Alvaro Tejada Galindo · Rating 2 out of 5]

My first approach to Prolog and this book didn't really help...I ended up going to http://www.learnprolognow.org for a nicer introduction...this book is not bad but it doesn't go too much into examples...but rather explains the way Prolog handle things...not really useful for someone who wants to learn how to code in Prolog...as opposed to learn how Prolog works internally...sorry...but not my kind of book...