Negation and Quantifiers in NU-Prolog
Negation and Quantifiers in NU-Prolog
复制标题
NU-Prolog 中的否定和量词
DOI：
10.1007/3-540-16492-8_111
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
L. Naish
中科院分区：
文献类型：
--
作者：
L. Naish
我们简要讨论传统 Prolog 系统中否定的缺点。然后介绍了 NU-Prolog 中否定结构的设计和实现。主要区别在于显式量词的存在。然而，还使用了其他一些创新来从当前的实施技术中获得最大的灵活性。这些改进了对“如果”、存在量词、不平等和非逻辑原语的处理。我们还讨论了如何将 NU-Prolog 的否定原语添加到传统系统中，以及它们如何改进更高级别构造的实现。
We briefly discuss the shortcomings of negation in conventional Prolog systems. The design and implementation of the negation constructs in NU-Prolog are then presented. The major difference is the presence of explicit quantifiers. However, several other innovations are used to extract the maximum flexibility from current implementation techniques. These result in improved treatment of “if”, existential quantifiers, inequality and non-logical primitives. We also discuss how the negation primitives of NU-Prolog can be added to conventional systems, and how they can improve the implementation of higher level constructs.