三种PROLOG扩充之比较

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