Negation and quantifiers in NU-Prolog

Lecture Notes in Computer Science - Third International Conference on Logic Programming ◽

10.1007/3-540-16492-8_111 ◽

1986 ◽

pp. 624-634 ◽

Author(s):

Lee Naish

Download Full-text