Skip to main content
SpringerLink
Log in

ESP — Extended Self-contained PROLOG — as a preliminary Kernel Language of fifth generation computers

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

In the first three-year development stage of the fifth generation computer systems project, a series of high-performance personal computers called sequential inference machines are being developed at ICOT Research Center. The machines have a high-level machine language called KL0, which is a PROLOG-based logic language with various extensions. In the software development of the sequential inference machines. ESP, a software-supported yet higher level language compiled into KL0, is used instead of directly using KL0. This paper describes the design of the language system in sequential inference machines. This description will center on ESP with an overview of KL0.

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

Similar content being viewed by others

References

  1. Uchida S., Yokota M., Yamamoto, A., Taki, K., and Nishikawa, H.: Outline of the Personal Sequential Inference Machine: PSI, New Generation Computing,1 (OHM SHA, LTD. and Springer-Verlag, 1983) 75.

    Google Scholar 

  2. Hattori, T. and Yokoi, T.: Basic Constructs of the SIM Operating System, New Generation Computing,1 (OHMSHA, LTD, and Springer-Verlag, 1983) 81.

    Article  Google Scholar 

  3. Chikayama, T., Hattori, T. and Yokota, M.: A Draft Proposal of Fifth Generation Kernel Language, Version 0.1, Technical Memo,TM-007 (Institute for New Generation Computer Technology, Tokyo, 1982).

    Google Scholar 

  4. Battani, G. and Meloni, H.: Interpreteur du language de programmation PROLOG (Groupe d’Intelligence Artificielle, Marseille-Luminy, 1973).

  5. Boyer, R. S. and Moore, J. S.: The Sharing of Structure in Theorem Proving Programs, Machine Intelligence,7 (Edinburgh University Press, 1972).

  6. van Caneghem, M.: PROLOG II Manuel D’Utilisation (Groupe d’Intelligence Artificielle, Marseille-Luminy, 1982).

Download references

Author information

Authors and Affiliations

  1. ICOT Research Center, Institute for New Generation Computer Technology, Mita Kokusai Bldg. 21F, 4-28 Mita 1-chome, Minato-ku, 108, Tokyo

    Takashi Chikayama

Authors
  1. Takashi Chikayama
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Chikayama, T. ESP — Extended Self-contained PROLOG — as a preliminary Kernel Language of fifth generation computers. NGCO 1, 11–24 (1983). https://doi.org/10.1007/BF03037019

Download citation

  • Issue Date:

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

Keywords

Search

Navigation