Skip to main content
SpringerLink
Log in

A prolog extension for handling negative knowledge

  • Short Notes
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

Pure prolog has certain defects as a programming language. To resolve such problems, some extensions of prolog which go beyond horn logic, or alternatively, some non-logical mechanisms need to be introduced. Non-logical mechanisms, however, often do not work as the programmer expects.

In this paper, a simple extension of prolog based on the procedural interpretation of ordinary prolog is discussed. The extended prolog can deal with negative knowledge as well as positive in a unified manner, and improve the terminability of programs.

Utilization of non-monotonicity to express knowledge such as default and inheritance, and the problems attached to the extension are also discussed.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Kowalski, R.: Predicate Logic as Programming Language, IFIP 74 (North-Holland, 1974) 569.

    Google Scholar 

  2. Fifth Generation Computer Systems, ed. T. Moto-oka (North-Holland, 1982).

  3. Aida, H.: Heiretsu Prolog System “Paralog” ni tsuite (on the Parallel Prolog System “Paralog”), Proc. of Prolog Conf. (Tsukuba, 1982) 18. [in Japanese]

  4. Warren, D. H. D.: Implementing Prolog—Compiling Predicate Logic Programs, D. A. I. Research reports,39–40 (University of Edinburgh, 1977).

  5. McDermott, D. and Doyle, J.: Non-Monotonic Logic I, Artificial Intelligence13, (North-Holland, 1980) 41.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, The University of Tokyo, 3-1 Hongo 7-chome Bunkyo-ku, 113, Tokyo

    Hitoshi Aida, Hidehiko Tanaka & Tohru Moto-Oka

Authors
  1. Hitoshi Aida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hidehiko Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tohru Moto-Oka
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Aida, H., Tanaka, H. & Moto-Oka, T. A prolog extension for handling negative knowledge. NGCO 1, 87–91 (1983). https://doi.org/10.1007/BF03037025

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037025

Keywords

Search

Navigation