Pro树与Prolog程序追踪

本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直现、形象、易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。