Incorporating Naïve Negation into Prolog
This paper proposes an expanded version of the logic programming language Prolog, which is called Pure Prolog with Negation (PPN) and permits writing negative information. We present query response forms for PPN and their semantics and propose an execution algorithm. Furthermore, we discuss semantics and an execution algorithm for PPN as viewed from the standpoint of intuitionistic logic. Then, we present a knowledge assimilation system and show how PPN is suitable for such a system. These execution algorithms can be easily implemented similarly to existing Prolog systems.
KeywordsPositive Part Negative Part Intuitionistic Logic Irrational Number Horn Clause
Unable to display preview. Download preview PDF.
- Battani G. and Meloni, H.: “Interpreteur du langage de programmation PROLOG,” Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universite d'Aix-Marseille, 1973.Google Scholar
- Bowen, K.A. and Kowalski, R.A.: “Amalgamating language and metalanguage in logic programming,”Logic Programming (K.L. Clark and S-A. Tärnlund eds.), Academic Press, pp. 153–172, 1981.Google Scholar
- Chang, C.L. and Lee, R.C.T.: “Symbolic logic and mechanical theorem proving,” Academic Press, 1973.Google Scholar
- Kowalski, R.: “Predicate logic as a programming language,” IFIP 74, North-Holland, pp. 569–574, 1974.Google Scholar
- Miyachi, T. et al.: “A knowledge assimilation method for logic databases,” 1984 International Symposium on Logic Programming, pp. 118–125, 1984.Google Scholar
- Warren, D.H.D.: “Implementing PROLOG — compiling predicate logic programs,” Research Report 39 and 40, Dept. of Artificial Intelligence, University of Edinburgh, 1977.Google Scholar