Negation and quantifiers in NU-Prolog

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 624-634
https://doi.org/10.1007/3-540-16492-8_111

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Making prolog more expressive
The Journal of Logic Programming, 1984