PRO-TREE AND PROLOG PROGRAM TRACING

This paper presents the symbols and the generating rules of the Pro-tree. It compares a program tracing with graphic procedure of the Pro-tree in detail. From this, we can see that the Pro-tree can be an imaginable, audio-visual, easy-to-understand auxiliary debugging tool.