Negation and quantifiers in 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.
KeywordsLogic Program Global Variable Operational Semantic Universal Quantifier Existential Quantifier
Unable to display preview. Download preview PDF.
- [Bowen 82]D. L. Bowen, L. Byrd, F. C. N. Pereira, L. M. Pereira and D. H. D. Warren, Decsystem-10 Prolog User's Manual, Occasional Paper 27, DAI, University of Edinburgh, 1982.Google Scholar
- [Bowen 85]K. A. Bowen and T. Weinberg, A Meta-Level Extension of Prolog, Proceedings of the 2nd IEEE International Symposium on Logic Programming, Boston, July, 1985.Google Scholar
- [Carlsson 83]M. Carlsson and K. M. Kahn, LM-Prolog User Manual, UPMAIL Technical Report 24, Computer Science Department, Uppsala University, Sweden, 1983.Google Scholar
- [Lloyd 84]J. W. Lloyd and R. W. Topor, Making Prolog More Expressive, Journal of Logic Programming 4, (1984).Google Scholar
- [Naish 85a]L. Naish, The MU-Prolog 3.2 Reference Manual, Technical Report 85/11, Department of Computer Science, University of Melbourne, November 1985.Google Scholar
- [Naish 85b]L. Naish, All Solutions Predicates in Prolog, Proceedings of IEEE Symposium on Logic Programming, Boston, July, 1985.Google Scholar
- [Naish 85c]L. Naish, Negation and Control in PROLOG, Technical Report 85/12, Ph.D. Thesis, Department of Computer Science, University of Melbourne, 1985.Google Scholar
- [O'Keefe 85]R. A. O'Keefe, On the Treatment of Cuts in Prolog Source-Level Tools, Proceedings of the 2nd IEEE International Symposium on Logic Programming, Boston, July, 1985.Google Scholar
- [Schultz 84]J. W. Schultz, The Use Of First-order Predicate Calculus As A Logic Programming System, M.Sc Thesis, Department Of Computer Science, University Of Melbourne, 1984.Google Scholar
- [Ueda 85]K. Ueda, Guarded Horn Clauses, Technical Report TR-103, ICOT, 1985.Google Scholar
- [Warren 83]D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Report 309, Artificial Intelligence Center, SRI International, 1983.Google Scholar