Logic Programming Tutor

Part I describes the Logic Programming Tutor (LPT). This is a program to help teach Prolog to people who know nothing about logic or computing. The LPT can accept programs in either Prolog or an English-like notation, and translate between one and the other. It has a built-in editor, so students can change small programs without needing to master an external editor. The LPT can display sections from one of several "scripts" written by a teacher; these guide the student to learn Prolog by experimenting with the Tutor. Part I gives the rationale for using and developing the Tutor, and a complete description of its workings, all source code included. Part II lists the scripts used at Oxford University Psychology Department, with notes to the teacher.