This paper describes an approach to the debugging of student Prolog programs in a Prolog Intelligent Tutoring System (PITS) that detects errors in them and proposes the corrections necessary to fix ...

Instructional Science, Vol. 20, No. 2/3, Special Issue: Teaching, Learning and Using Prolog (1991), pp. 89-110 (22 pages) This paper describes an approach to evaluating the usefulness of an Animated ...

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

Roger Brent and Jehoshua Bruck, in their Commentary article “Can computers help to explain biology?” (Nature 440, 416–417; 2006), draw a firm distinction between von Neumann computers — the usual ...