CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

TUTOR: Jocelyn Paine's Logic Programming Tutor

This is the program described in Jocelyn Paine's book Jocelyn Paine, "The Logic Programming Tutor", Intellect, 1992 published by Intellect in the UK and Kluwer elsewhere. It is a front-end designed to introduce novices to Prolog, and can accept facts and questions in either Prolog or infix "Logic", translating between the two. It has a simple number-editor (Basic-like), and a portable screen-editor. It also comes with a set of eight "scripts". These are lessons which it displays one section at a time, inviting the student to try doing simple exercises, or to try experiments with Prolog. The distribution also includes some auxiliary software, including a trading game, several example knowledge bases, a copy of Dave Bowen and Chris Mellish's cross-referencing program, a Prolog 'lint', an autotester, a profiler for timing goals (based on chapter 3 of "The Craft of Prolog"), and a random number generator. Also included is LaTeX source for the supplementary exercises and notes from Paine's book.
Origin: (
   as tutor.tar.Z

Ports: Any Edinburgh-compatible Prolog. Copying: Copyright (c) 1992 by Jocelyn Paine. Use, copying, modification, and distribution permitted for teaching purposes only. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Jocelyn Paine Department of Experimental Psychology Oxford University South Parks Road Oxford OX1 3UD Tel: (0865) 271444 Fax: (0865) 310447 Keywords: Authors!Paine, Autotest, Books!Prolog, Cross-Referencing, Knowledge Bases, LINT for Prolog@{{\tt lint} for Prolog}, Oxford, Profiler, Prolog!Code, Random Number Generators, Tutor References: ?
Last Web update on Mon Feb 13 10:33:23 1995