摘要
本文介绍了Pro树的生成规则,并以一个递归程序为例,对追踪过程和由Pro树图解的运行机制进行了详细比较,说明Pro树可作为一种直现、形象、易于理解的辅助工具,用于Prolog程序的设计和调试。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第7期17-20,共4页
Journal of Computer Research and Development
基金
黑龙江省自然科学基金