An Extended WAM Based Architecture for OR-Parallel Prolog Execution

  • Danilo Demarchi
  • Gianluca Piccinini
  • Maurizio Zamboni


The paper describes the performance evaluation and the VLSI design of a parallel architecture for high speed execution of Prolog programs. The achievement of very high performances makes sequential execution unsuitable, so parallel models have to be studied and adopted (Nakajima 1988). Our study starts from an existing VLSI sequential Prolog processor (PROXIMA), based on the Warren Abstract Machine; the idea is to extend it in order to support OR-parallel execution models, so that multiprocessor systems could be designed and tested.


Choice Point Memory Architecture Distribute Memory System Shared Memory Architecture Distribute Memory Architecture 
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. Calderwood A. and Szeredi P.: “Scheduling OR-parallelism in Aurora: the Manchester Scheduler”, International Conference on Fifth Generation Computer Systems Tokyo, 1988Google Scholar
  2. Hausman B., Ciepielewski A. and Calderwood A.: “Cut and Side-Effects in OR-parallel Prolog”, SICS Technical Report Swedish Institute of Computer Science (SICS), 1987Google Scholar
  3. Hermenegildo M.: “High-Performance Prolog Implementation: the WAM and Beyond”, International Conference on Logic Programming, Lisboa June 1989Google Scholar
  4. Nakajima K., Inamura Y., Rokusawa K., Ichiyoshi, and T. Chikayama: “Distributed Implementation of KL1 on the Multi-PSI/V2”, Institute for New Generation Computer Technology, pp. 436–451, 1988Google Scholar
  5. Shen K. and Warren D.H.D.: “A simulation study of the ARGONNE model for OR-parallel execution of Prolog”, Int. Symposium on Logic Programming, San Francisco, 1987Google Scholar
  6. Tick E.: “A Performance Comparison of AND and OR-parallel Logic Programming Architectures”, Institute for New Generation Computer Technology, pp. 452–467, 1988Google Scholar
  7. Tick E.: “Studies in Prolog Architectures”, PhD thesis, Stanford University June 1987Google Scholar
  8. Warren D.H.D. et al.: “The Aurora OR-parallel Prolog System”, International Conference on Fifth Generation Computer Systems pp. 819–830, 1988Google Scholar
  9. Warren D.H.D.: “The SRI Model for OR-parallel Execution of Prolog: Abstract Design and Implementation Issues” Proceeding of the 1987 Symposium on Logic Programming, pp.92–102, 1987Google Scholar

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Danilo Demarchi
  • Gianluca Piccinini
  • Maurizio Zamboni

There are no affiliations available

Personalised recommendations