Incorporating Naïve Negation into Prolog

  • Kō Sakai
  • Taizo Miyachi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 220)


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.


Positive Part Negative Part Intuitionistic Logic Irrational Number Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    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
  3. [3]
    Chang, C.L. and Lee, R.C.T.: “Symbolic logic and mechanical theorem proving,” Academic Press, 1973.Google Scholar
  4. [4]
    Kowalski, R.: “Predicate logic as a programming language,” IFIP 74, North-Holland, pp. 569–574, 1974.Google Scholar
  5. [5]
    Miyachi, T. et al.: “A knowledge assimilation method for logic databases,” 1984 International Symposium on Logic Programming, pp. 118–125, 1984.Google Scholar
  6. [6]
    Robinson, J.A.: “A machine oriented logic based on the resolution principle,” J.ACM 12, No. 1, pp. 23–41, 1965.CrossRefGoogle Scholar
  7. [7]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Kō Sakai
    • 1
  • Taizo Miyachi
    • 1
  1. 1.ICOT Research CenterTokyo

Personalised recommendations