摘要
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
In this paper,a study of prolog testing tools is first introduced. Then an algorithm for prolog contradiction debugging is advanced. It is realized with Turbo C language and based upon the feature of prolog. As a prolog testing tool this algorithm is already included in the Turbo Prolog system disk.
基金
青年科技基金项目"PROLOG语言检测工具"的一个子项