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.
Home page url
Download or read it online for free here:
by 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.
by James Hein - Portland State University
Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.
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.
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.