How to Incorporate Negation in a Prolog Compiler? | Publicación