The Logic Programming Tutor

This is a program to help teach Prolog to people who know nothing about logic or computing. The first part of the book gives the rationale for using and developing the tutor and a description of its workings. The second part lists scripts used at Oxford University Psychology Department.