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

  • Akihiko Konagaya
  • Ryousei Nakazaki
  • Mamoru Umemura
Part of the Lecture Notes in Computer Science book series (LNCS, volume 269)


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.


Logic Programming Virtual Object Logic Programming Language Host Machine Symbol Table 
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]
    J. Bendl, P. Koves, and P. Szeredi. The MPROLOG system. In Logic Programming Workshop, pages 14–16, Debrecen, Hungary, 1980.Google Scholar
  2. [2]
    K. Clark and S. Gregory. PARLOG: Parallel Programming in Logic. Research Report DOC 84/4, Imperial College, 1984.Google Scholar
  3. [3]
    A. Colmerauer. Prolog II: Reference Manual and Theoretical Model. Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1982.Google Scholar
  4. [4]
    A. Goldberg and D. Robson. Smalltalk-80: language and its implementation. Addison-Wesley, 1983.Google Scholar
  5. [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. [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. [7]
    A. Konagaya. Parallelism in logic programming. in Preparation.Google Scholar
  8. [8]
    A. Konagaya. Typed unification and object oriented interpretation of a clause. Computer Software, 4(1), 34–43, 1987. in Japanese.Google Scholar
  9. [9]
    A. Konagaya and M. Umemura. Knowledge information processing language: SHAPEUP. New Generation Computing, 2(2), 1984.Google Scholar
  10. [10]
    R. Kowalski. Logic for Problem Solving. North Holland Publishing Co., 1979.Google Scholar
  11. [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. [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. [13]
    E. Shapiro. A Subset of Concurrent Prolog and Its Interpreter. Technical Report TR-003, ICOT, 1983.Google Scholar
  14. [14]
    E. Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog. New Generation Computing, 1(1), 1983.Google Scholar
  15. [15]
    K. Ueda. Guarded Horn Clause. PhD thesis, University of Tokyo, 1985.Google Scholar
  16. [16]
    D.H. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI Artificial Intelligence Center, 1983.Google Scholar
  17. [17]
    D.H. Warren. Implementing PROLOG—Compiling Predicate Logic Programs. Research Report 39, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1977.Google Scholar
  18. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Akihiko Konagaya
  • Ryousei Nakazaki
  • Mamoru Umemura
    • 1
  1. 1.C&C Systems Research Laboratories, NEC CorporationKawasakiJapan

Personalised recommendations