Negation and quantifiers in NU-Prolog

  • Lee Naish
Session 6b: Theory And Negation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • Lee Naish
    • 1
  1. 1.Machine Intelligence Project Department of Computer ScienceUniversity of MelbourneParkvilleAustralia

Personalised recommendations