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
Artificial Intelligence through Prologby 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.
(27893 views)
Simply Logical: Intelligent Reasoning by Exampleby Peter Flach - John Wiley
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.
(11822 views)
Prolog Programming in Depthby Michael A. Covington, Donald Nute, Andre Vellino - Prentice-Hall
Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.
(11190 views)
Prolog Programming: A First Courseby Paul Brna
These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.
(17068 views)