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 ...

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 ...

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 ...