三种PROLOG扩充之比较  

作　　者：贲可荣 王戟[1] 

机构地区：[1]国防科技大学,长沙410073

出　　处：《计算机科学》1992年第6期27-34,共8页Computer Science

摘　　要：nH-PROLOG,SPRF 和 N-PROLOG 是 PROLOG 的三种典型扩充,本文介绍了它们之间的异同。这三个系统采用不向方法扩充了 PROLOG,但是均使用情况分析法做为非 Horn 推理机制尽管它们的出发点、目的、表达形式各异,但在使用情况分析法这一点上有着惊人的相似性,这说明它们的推理在本质上是—般的和直观的。它们的区别在于:一个系统的性质要加入另一系统,必须做较大的变形。

关 键 词：PROLOG 扩充 程序设计语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]