Skip to main content
SpringerLink
Log in

A co-operative programming environment for a back-end type sequential inference machine CHI

  • Communication
  • Conference paper
  • First Online:
Parallel Algorithms and Architectures

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

Abstract

The outline of a language and a software system developed on a co-operative high performance sequential inference machine (CHI) are described. CHI is a back-end type sequential inference machine which aims for high-speed execution of large scale logic programming programs. It consists of a high performance processor and large main memories, dedicated for logic programming languages, and a host machine for input/output services. The novelty of the work is in its use of co-operative processes and the extension of a logic programming language to make an interactive programming environment on a back-end type machine. Separation of language processing processes and input/output server processes makes it possible to utilize host machine software systems, such as a file system, a window system and a network system, in order to realize a comfortable, high performance, reliable programming environment on the back-end machine. In addition, an inter-machine communication protocol based on “virtual objects” considerably reduces the difficulty of developing bus-transparent input/output operations between the host machine and CHI. This approach is quite general and applicable to any loosely coupled distributed system.

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.

References

  1. J. Bendl, P. Koves, and P. Szeredi. The MPROLOG system. In Logic Programming Workshop, pages 14–16, Debrecen, Hungary, 1980.

    Google Scholar 

  2. K. Clark and S. Gregory. PARLOG: Parallel Programming in Logic. Research Report DOC 84/4, Imperial College, 1984.

    Google Scholar 

  3. A. Colmerauer. Prolog II: Reference Manual and Theoretical Model. Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1982.

    Google Scholar 

  4. A. Goldberg and D. Robson. Smalltalk-80: language and its implementation. Addison-Wesley, 1983.

    Google Scholar 

  5. K. Kahn, E.D. Tribble, M.S. Miller, and D.G. Bobrow. Objects in concurrent logic programming languages. In OOPSLA '86, pages 242–257, 1986.

    Google Scholar 

  6. K. Kawanobe. Current status and future plans of the fifth generation computer system project. In Int'l. Conf. on Fifth Generation Computer Systems 1984, 1984.

    Google Scholar 

  7. A. Konagaya. Parallelism in logic programming. in Preparation.

    Google Scholar 

  8. A. Konagaya. Typed unification and object oriented interpretation of a clause. Computer Software, 4(1), 34–43, 1987. in Japanese.

    Google Scholar 

  9. A. Konagaya and M. Umemura. Knowledge information processing language: SHAPEUP. New Generation Computing, 2(2), 1984.

    Google Scholar 

  10. R. Kowalski. Logic for Problem Solving. North Holland Publishing Co., 1979.

    Google Scholar 

  11. R. Nakazaki, A. Konagaya, S. Habata, H. Shimazu, M. Umemura, M. Yamamoto, M. Yokota, and T. Chikayama. Design of a high-speed prolog machine HPM. In Int'l. Symp. on Computer Architecture, 1985.

    Google Scholar 

  12. L.M. Pereira and Nasr R. Delta-prolog: a distributed logic programming language. In Int'l. Conf. on Fifth Generation Computer Systems 1984, pages 283–291, 1984.

    Google Scholar 

  13. E. Shapiro. A Subset of Concurrent Prolog and Its Interpreter. Technical Report TR-003, ICOT, 1983.

    Google Scholar 

  14. E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog. New Generation Computing, 1(1), 1983.

    Google Scholar 

  15. K. Ueda. Guarded Horn Clause. PhD thesis, University of Tokyo, 1985.

    Google Scholar 

  16. D.H. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI Artificial Intelligence Center, 1983.

    Google Scholar 

  17. D.H. Warren. Implementing PROLOG—Compiling Predicate Logic Programs. Research Report 39, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1977.

    Google Scholar 

  18. M. Yokota, A. Yamamoto, K. Taki, H. Nishikawa and S. Uchida. The Design and Implementation of a personal sequential inference machine: PSI. New Generation Computing, 2(1), 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. C&C Systems Research Laboratories, NEC Corporation, 4-1-1 Miyazaki Miyamae-ku, 213, Kawasaki, Japan

    Mamoru Umemura

Authors
  1. Akihiko Konagaya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ryousei Nakazaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mamoru Umemura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andreas Albrecht Hermann Jung Kurt Mehlhorn

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Konagaya, A., Nakazaki, R., Umemura, M. (1987). A co-operative programming environment for a back-end type sequential inference machine CHI. In: Albrecht, A., Jung, H., Mehlhorn, K. (eds) Parallel Algorithms and Architectures. Lecture Notes in Computer Science, vol 269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18099-0_46

Download citation

  • DOI: https://doi.org/10.1007/3-540-18099-0_46

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18099-9

  • Online ISBN: 978-3-540-47760-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation