The Logic Programming Tutor book

The Logic Programming Tutor by Jocelyn Paine, Intellect 1992. Copies can be ordered from Intellect.

The book is divided into two parts. Part 1 starts with a general introduction, followed by an informal guide and a reference manual. It ends with a chapter on implementation, which runs through the modules and describes how they work and how to port them to different Prolog systems. Part 2 has eight chapters, one for each lesson. These list the text of the lessons, give answers to exercises, and also discuss the sample knowledge bases.

Contents

I will add this once I've restored it from the archive.
Top of page
Jocelyn Paine
14th August 1996