Wam specification for parallel execution on SIMD computer

  • S. Ivanets
  • N. Ilinsky
  • M. Krylov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 592)


We have been working out a compiler from Prolog into special code, targeted in a two-computer media. The media consists of conventional host-computer and parallel SIMD-computer like Connection Machine. Our purpose is to construct an effective programming system preserving the conventional Prolog semantics. We managed to design a system with total parallelism of logic program execution.


Prolog parallel unification hypercube SIMD-computer Warren Abstract Machine compiler 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    The Connection Machine. W. Daniel Hillis, The MIT Press, Cambridge, Massachusetts, London, England 1986Google Scholar
  2. [2]
    An Abstract Prolog Instruction Set. David H.D. Warren. Technical Note 309, SRI International, AI Center, Compute Science and Technology Division, 1983.Google Scholar
  3. [3]
    Parallel Unification. J. Barklund, Uppsala Theses in Computing Science 9, UPMAIL, Computing Science Dept, UPPSALA 1990Google Scholar
  4. [4]
    Data Parallel Algorithm. W.Daniel Hillis and Guy L. Steele, Communications of the acm December 1986, Vol 29, Numb 12Google Scholar
  5. [5]
    Reforming Compilation of Logic Programs. H. Millroth, Uppsala Theses in Computing Science 10, UPMAIL, Computing Science Dept, UPPSALA 1990Google Scholar
  6. [6]
    McBryan O., The Connection Machine: PDE Solution on 65536 Processors, Parallel Computing 9, 1988Google Scholar
  7. [7]
    Hockney R.W., Parallel Computers: Architectures and Performance, Int. Conf. “Parallel Computings”, 1986Google Scholar
  8. [8]
    Hillis W., D., The Connection Machine A Fine Grained Multi-Processor, Second AIAA/NASA/USAF Symp. on Automation, Robotics and Advanced Computing for the National Space Program, 1987Google Scholar
  9. [9]
    P.Kacsuk and A. Bale, DAP Prolog: A Set-oriented Approach to Prolog., The Computer Journal, October 1987, Vol 30, Numb 5Google Scholar
  10. [10]
    McBryan O., New Architectures: Performance Highlights and New Algorithms, Parallel Computing 7, 1988Google Scholar
  11. [11]
    Nilsson M., Tanaka H., Fleng Prolog — The Language Which Turns Supercomputers into Parallel Prolog Machines, Proc., Japanese Logic Programming Conf., ICOT, Tokyo, June 1986 ed. WadaGoogle Scholar
  12. [12]
    J. Barklund, N. Hagner, M. Wafin, KL1 in Condition Graphs on a Connection Machine., Proc of the 5th Int Conf on Fifth Generation Computer Systems 1988, ed by ICOTGoogle Scholar
  13. [13]
    Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steeie Jr, Compiling Fortran 8x Array Features for the Connection Machine Computer System., ACM 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • S. Ivanets
    • 1
  • N. Ilinsky
    • 1
  • M. Krylov
    • 1
  1. 1.Department of CyberneticsMoscow Engineering-Phisics InstituteMoscowUSSR

Personalised recommendations