An Introduction to Logic Programming through Prolog
by Michael Spivey
Publisher: Prentice Hall 2008
Number of pages: 258
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 for free here:
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.
by 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.
by Attila Csenki - BookBoon
In this volume the author discusses some areas where Prolog can be fruitfully employed. The book comprises four chapters: Enigma 1225: Rows are Columns; Blind Search; Informed Search; Text Processing. There are 54 exercises in this book.
by Dennis Merritt - Amzi! inc.
This book is designed to teach you how to build expert systems from the inside out. The author presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.