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