Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
The Connection Machine. W. Daniel Hillis, The MIT Press, Cambridge, Massachusetts, London, England 1986
An Abstract Prolog Instruction Set. David H.D. Warren. Technical Note 309, SRI International, AI Center, Compute Science and Technology Division, 1983.
Parallel Unification. J. Barklund, Uppsala Theses in Computing Science 9, UPMAIL, Computing Science Dept, UPPSALA 1990
Data Parallel Algorithm. W.Daniel Hillis and Guy L. Steele, Communications of the acm December 1986, Vol 29, Numb 12
Reforming Compilation of Logic Programs. H. Millroth, Uppsala Theses in Computing Science 10, UPMAIL, Computing Science Dept, UPPSALA 1990
McBryan O., The Connection Machine: PDE Solution on 65536 Processors, Parallel Computing 9, 1988
Hockney R.W., Parallel Computers: Architectures and Performance, Int. Conf. “Parallel Computings”, 1986
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, 1987
P.Kacsuk and A. Bale, DAP Prolog: A Set-oriented Approach to Prolog., The Computer Journal, October 1987, Vol 30, Numb 5
McBryan O., New Architectures: Performance Highlights and New Algorithms, Parallel Computing 7, 1988
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. Wada
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 ICOT
Eugene Albert, Kathleen Knobe, Joan D. Lukas, Guy L. Steeie Jr, Compiling Fortran 8x Array Features for the Connection Machine Computer System., ACM 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ivanets, S., Ilinsky, N., Krylov, M. (1992). Wam specification for parallel execution on SIMD computer. In: Voronkov, A. (eds) Logic Programming. Lecture Notes in Computer Science, vol 592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55460-2_17
Download citation
DOI: https://doi.org/10.1007/3-540-55460-2_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55460-8
Online ISBN: 978-3-540-47083-0
eBook Packages: Springer Book Archive