虽然对归纳逻辑程序的极限行为至今并没有深入的研究,但是通常在分析正在执行的增量式或在线归纳学 习算法时,必须考虑这种程序的极限行为。某些归纳学习算法如果不考虑极限行为可能运行到最后会发生错误。如 果给定一个递增的例子集合序列,一个归纳逻辑程序会产生一个相应的具有集合论极限的Horn逻辑程序序列,则此 归纳逻辑程序是收敛的,并且如果该Horn逻辑程序序列关于例子集合序列的极限是极限正确的,则此归纳逻辑程序 是极限正确的,还说明 GOLEM系统不是极限正确的。为了解决这个问题,提出了一个极限正确的称为优先 G