PRO树及其剪枝问题的研究

Study on PROLOG PRO-tree and Its Pruning Problem

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

This paper presents the generation of two PRO-trees, Static and dynamic. In order tothe get goal solution, it shows how to search and backtrack on the PRO-tree. The paperdiscusses two prunings on PRO-tree by cut predicate and gives two cut principles.