How to Incorporate Negation in a Prolog Compiler

Juan José Moreno-Navarro, Susana Muñoz-Hernández. How to Incorporate Negation in a Prolog Compiler. In Enrico Pontelli, Vítor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Volume 1753 of Lecture Notes in Computer Science, pages 124-140, Springer, 2000. [doi]

No reviews for this publication, yet.