This detailed description of a microcomputer version of PROUST (Program Understander for Students), a knowledge-based system that finds nonsyntactic bugs in Pascal programs written by novice programmers, presents the inner workings of Micro-PROUST, which was written in Golden LISP for the IBM-PC (512K). The contents include: (1) a reprint of an article on PROUST recently published in BYTE Magazine, which provides an overview of the operation of the system; (2) the design document that was used to code the program from PROUST to Micro-PROUST, which contains an overview of the system, as well as test examples for Micro-PROUST, the parser, problem descriptions, processing the goal agenda, and the goal database; (3) preliminary comparisons of costs/benefits and techniques employed by PROUST and Micro-PROUST; and (4) the actual LISP code. The concept of "intention-based diagnosis" is utilized to explain PROUST's approach to correcting errors, and an illustration and application of intention-based diagnosis in PROUST are included in the comparison. Concluding recommendations include reservations as to whether Micro-PROUST can be as effective as its parent, PROUST, and suggests that further work is needed to determine its worth as a viable educational tool. (JB)