Welcome to E-Books Directory
This is a freely downloadable e-book.

An Introduction to Logic Programming through Prolog

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.

Home page url

 Download or read it online here:

Download link

 (1.4MB, PDF)