一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.

一种新的PROLOG检测算法的设计与实现

介绍了ＰＲＯＬＯＧ检测算法的研究现状， 针对ＰＲＯＬＯＧ 语言的特点， 提出了一种对ＰＲＯＬＯＧ进行检测的新算法， 并用Ｃ语言实现了该算法。对ＴｕｒｂｏＰＲＯＬＯＧ系统盘进行了剖析， 该算法作为一种ＰＲＯＬＯＧ检测工具已被合并到ＴｕｒｂｏＰＲＯＬＯＧ系统盘中。