Advertisement

Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R

  • Rikio Onai
  • Hajime Shimizu
  • Kanae Masuda
  • Akira Matsumoto
  • Moritoshi Aso
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

This paper proposes a Reduction-based Parallel Inference Machine : PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.

Keywords

Parent Process Ground Instance Message Board Prolog Program Structure Area 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clark KL, Gregory S (1984) PARLOG:Parallel Programming in Logic, Research Report DOC 84/4, Dept. of Computing, Imperial College, LondonGoogle Scholar
  2. INMOS Limited (1984) Occam Programming Manual, Prentice-Hall International Series in Computer ScienceGoogle Scholar
  3. Ito N, Masuda K (1984) Parallel Inference Machine Based on the Data Flow Model, Proc. of the International Workshop on High Level Computer Architecture 84, Los AngelesGoogle Scholar
  4. Moto-oka T, Tanaka H, et al (1984) The Architecture of a Parallel Inference Engine-PIE-, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, TokyoGoogle Scholar
  5. Onai R, Shimizu H, Masuda K, Aso M (1984) Analysis of Sequential Prolog Programs, ICOT TR-048Google Scholar
  6. Onai R, Aso M, Shimizu H, Masuda K, Matsumoto A (1985) Architecture of a Reduction-based Parallel Inference Machine:PIM-R, New Generation Computing, vol 3/2, Ohmsha, Springer-Verlag, p 197–228Google Scholar
  7. Pereira LM, Nasr R (1984) DELTA-PROLOG: A Distributed Logic Language, Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, TokyoGoogle Scholar
  8. Shapiro EY (1983) A subset of Concurrent Prolog and Its Interpreter, ICOT TR-003Google Scholar
  9. Sugie M, et.al. (1985) Hardware Simulator Implementation of PIM-R, Logic Programming Conference '85, TokyoGoogle Scholar
  10. Ueda K (1985) Guarded Horn Clauses, ICOT TR-103Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Rikio Onai
    • 1
  • Hajime Shimizu
    • 1
  • Kanae Masuda
    • 1
  • Akira Matsumoto
    • 1
  • Moritoshi Aso
    • 1
  1. 1.Institute for New Generation Computer TechnologyTokyoJapan

Personalised recommendations