论文部分内容阅读
根据，能否和某一规则的规则头相匹配．将not(X）分为两类并分剐进行处理：—类是X不能和任意一条规则的规则头相匹配，X为真，则将not(X）做为一项事实处理；另—类是X能和某—规则的规则头相匹配．此时X的真假不能确定．为了处理这类情况．我们提出了假事实推理法，从而有效地处理了Prolog正向推理机中的否定谓词．