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]

Authors

Juan José Moreno-Navarro

This author has not been identified. Look up 'Juan José Moreno-Navarro' in Google

Susana Muñoz-Hernández

This author has not been identified. Look up 'Susana Muñoz-Hernández' in Google