The Logic Programming Tutor is a tool for teaching Prolog to novices at computing. It is essentially a friendly front-end, accepting programs in either Prolog or pseudo-English, and able to translate between the two. It contains a built-in editor similar to a Basic line editor, and also has a tracer and explanation facility, and a selection of built-in lessons which guide the student in learning Prolog by experiment. You can download it from my library of public-domain Prolog software. The source includes a lot of sample knowledge-bases, including a buying-and-selling game for robot trucks, and a database of criminal slang from the Canting Academy of Richard Head. I have published a book about the program.
You can view the lessons, 1 2 3 4 5 6 7 8
Jocelyn Ireson-Paine