PROLOG线性归结的研究与设计

The Research and Design of Linear Deduction Based on PROLOG

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。

In this paper,formal description of Horn clauses is investigated.Deduction mechanism for PROLOG language is analyzed.It is discussed that select linear deduction is not of completeness.The new method of breadth first search strategy is given and discussed on theory.The question of infinite recurrenin search is resolved.