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]

@inproceedings{Moreno-NavarroM00,
  title = {How to Incorporate Negation in a Prolog Compiler},
  author = {Juan José Moreno-Navarro and Susana Muñoz-Hernández},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1753/17530124.htm},
  tags = {Prolog, compiler},
  researchr = {https://researchr.org/publication/Moreno-NavarroM00},
  cites = {0},
  citedby = {0},
  pages = {124-140},
  booktitle = {Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings},
  editor = {Enrico Pontelli and Vítor Santos Costa},
  volume = {1753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66992-2},
}