Skip to main content
Springer Nature Link
Log in

Incorporating Naïve Negation into Prolog

  • Conference paper
  • First Online:
RIMS Symposia on Software Science and Engineering II

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 220))

  • 133 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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. Chang, C.L. and Lee, R.C.T.: “Symbolic logic and mechanical theorem proving,” Academic Press, 1973.

    Google Scholar 

  4. Kowalski, R.: “Predicate logic as a programming language,” IFIP 74, North-Holland, pp. 569–574, 1974.

    Google Scholar 

  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. Robinson, J.A.: “A machine oriented logic based on the resolution principle,” J.ACM 12, No. 1, pp. 23–41, 1965.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. ICOT Research Center, 1-4-28, Mita, Minato-ku, 108, Tokyo

    Kō Sakai & Taizo Miyachi

Authors
  1. Kō Sakai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Taizo Miyachi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eichi Goto Keijiro Araki Taiichi Yuasa

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sakai, K., Miyachi, T. (1986). Incorporating Naïve Negation into Prolog. In: Goto, E., Araki, K., Yuasa, T. (eds) RIMS Symposia on Software Science and Engineering II. Lecture Notes in Computer Science, vol 220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16470-7_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-16470-7_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16470-8

  • Online ISBN: 978-3-540-39809-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation