PRO树及其剪枝问题的研究

介绍了静态和动态两种ＰＲＯ树的生成及为求出目标解在ＰＲＯ树上搜索、匹配和回溯的过程．针对截断谓词可能出现的各种位置，着重讨论了两种ＰＲＯ树的剪枝。

逻辑电路模拟程序的PRO树图解

PROLOG语言由于有参量模式的功能而适用于逻辑电路的模拟。PRO树是一种有效的理解PROLOG程序的辅助工具，用PRO树图解模拟程序将使逻辑电路模拟的概念更清楚。