Prolog Experiments in Discrete Mathematics, Logic, and Computability
by James Hein
Publisher: Portland State University 2009
Number of pages: 158
This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability. It is the outgrowth of the experimental portion of a one-year course in discrete structures, logic, and computability for sophomores at Portland State University. The course has evolved over the last ten years from a standard course into a course that uses programming experiments as part of the required activity. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work. The experiments in the book are organized to accompany the material in Discrete Structures, Logic, and Computability, Second Edition, by James L. Hein.
Download or read it online for free here:
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 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 Dennis Merritt - Springer
This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.
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.