Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting

  • Hanpei Koike
  • Hidehiko Tanaka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 264)


PIE is a highly parallel inference machine which executes logic programs based on the goal rewriting model. Goal rewriting makes goals completely independent and reduces access conflict, although it accompanies a substantial copying overhead. To cope with this overhead, two new execution mechanisms are proposed and evaluated. These methods are effective especially to raise parallelism quickly and to exploit other kind of parallelism in programs where OR-parallelism is not high.


Execution Time Parallel Inference Unification Time Definition Clause Inference Machine 
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. [Mot84]
    Moto-oka,T., Tanaka,T., Aida,H., Maruyama,T. and Hirata,K., "The Architecture of a Parallel Inference Engine-PIE-", FGCS'84, ICOT, 1984.Google Scholar
  2. [Got84]
    Goto,A., Tanaka.H. and Moto-oka,T., "Highly Parallel Inference Engine PIE — Goal Rewriting Model and Machine Architecture —", New Generation Computing, Vol.2, OHMSHA and Springer-Verlag, 1984.Google Scholar
  3. [Yuh83]
    Yuhara, M.Aida,H., Tanaka,H. and Moto-oka,T., "Unify Processor and its Reduction Algorithm of the Highly Parallel Inference Engine — PIE (Japanese)", Technical Research Report, EC83-30, IECE of Japan, 1983.Google Scholar
  4. [Yuh84]
    Yuhara,M., Koike,H., Tanaka,H. and Moto-oka,T., "A Unify Processor Pilot Machine for PIE", Proc. of the Logic Programming Conference '84, Tokyo, 1984.Google Scholar
  5. [Tic84]
    Tick,E. and Warren,D.H.D., "Towards a Pipelined Prolog Processor", International Symposium on Logic Programming, IEEE, 1984.Google Scholar
  6. [War83]
    Warren,D.H.D., "An Abstract Prolog Instruction Set", Tech. report 309, A.I.Center, SRI International, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Hanpei Koike
    • 1
  • Hidehiko Tanaka
    • 1
  1. 1.Department of Electrical Engineering, Faculty of EngineeringThe University of TokyoTokyoJapan

Personalised recommendations