CMU Artificial Intelligence Repository
TUTOR: Jocelyn Paine's Logic Programming Tutor
lang/prolog/bookcode/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:
src.doc.ic.ac.uk:packages/prolog-pd-software/ (146.169.2.1)
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
AI.Repository@cs.cmu.edu