处理否定最基本的两种方法是闭世界假定(closed world assumption)和失败即否定原则(negation as failure)。

• One of the most valuable research fields in logic programs is deducing negative information. There are two basic rules to negation, closed world assumption and negation as failure.