Knowledge representation based applications require a more complete set of capabilities than those offered by conventional Prolog compilers. Negation is, probably, the most important one. The inclusion of negation among the logical facilities of LP has been a very active area of research, and several techniques have been proposed. However, the negation capabilities accepted by current Prolog compilers are very limited. In this paper, we discuss the possibility to incorporate some of these techniques in a Prolog compiler in an efficient way. Our idea is to mix some of the existing proposals guided by the information provided by a global analysis of the source code.
CITATION STYLE
Moreno-Navarro, J. J., & Muñoz-Hernández, S. (2000). How to incorporate negation in a prolog compiler. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1753, pp. 124–140). Springer Verlag. https://doi.org/10.1007/3-540-46584-7_9
Mendeley helps you to discover research relevant for your work.