PURPOSE: To easily take correspondence between a program and trace information to be displayed, by setting the display unit of trace as a node, and displaying only information with respect to a predicate under execution actually.
CONSTITUTION: An interpreter 1 receives the questionnaire of a user from a display device 3, and executes it as referring to the program 4 written by the user, and displays the trace. At the time of displaying the trace, a predicate (node) information stack 2 in which the information with respect to the predicate under execution is stored is used. Therefore, predicate information with respect to the predicate under execution is stored in the stack 2. And no information with respect to the predicate for which the execution is completed is displayed, and only the information with respect to the predicate under execution actually is displayed. In such a way, the correspondence between the program and the trace information to be displayed can be easily taken, and it is easy to recognize the flow of the execution.
FUJINO KAORU
OIKAWA SAORI
MINODA YORIKO