Herbrand基上的启发式语义映射

一、引言 在逻辑程序中允许负文字出现,极大地增强了逻辑程序的表达能力,但同时也其语义定义带来了困难。可以说,至今还没有一种好的方法来定义一般逻辑程序的语义。