The Art of Prolog
by Leon S. Sterling, Ehud Y. Shapiro
Publisher: The MIT Press 1994
ISBN-13: 9780262193382
Number of pages: 553
Description:
Hitherto, knowledge of how to use Prolog for serious programming has largely been communicated by word of mouth. This textbook sets down and explains for the first time in an accessible form the deeper principles and techniques of Prolog programming. The book is excellent for not only conveying what Prolog is but also explaining how it should be used.
Download or read it online for free here:
Download link
(30MB, PDF)
Similar books
The First 10 Prolog Programming Contestsby 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.
(8729 views)
An Introduction to Logic Programming through Prologby 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.
(10478 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.
(9889 views)
Prolog Programmingby 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.
(8374 views)