Negation and quantifiers in NU-Prolog
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Making prolog more expressiveThe Journal of Logic Programming, 1984