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

by Roman Bartak
Prolog is a programming language with precise operational meaning that borrows its basic concepts from logic programming. This text is an introduction to logic programming and Prolog for beginners but it also covers some advanced topics.
(10740 views)

by J. R. Fisher - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
(4405 views)

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.
(20522 views)

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.
(19020 views)