Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers
A method for implementing Prolog on Massively Parallel Mixed Architecture Systems (MAPMAS) is shown in the paper. First the physical and logical structure of the target MAPMAS (a DAP/Multi-Transputer system) is described. A generalised dataflow model for transforming Prolog programs into the Dataflow Search Graph (DSG) and executing them based on the DSG is shortly overviewed and illustrated with simple examples. In the paper an informal description of the model is given for exploiting OR-parallelism and pipelined AND-parallelism. The main contribution of the paper is the explanation how fact- intensive Prolog programs can be implemented on the DAP side of the MAPMAS. The key points of the implementation are the mapping of the operators and the organisation of parallel token communication in an SIMD environment.
KeywordsProlog Program Logical Plane Dataflow Model Result Token Clause Representation
Unable to display preview. Download preview PDF.
- [AMT 90]Fortran-Plus Language, (man 002), AMT DAP Series, Active Memory Technology Ltd, 1990.Google Scholar
- [Barklund et al 88]Barklund, J. et al. “KL1 in Condition Graphs on a Connection Machine”, in Proceedings of the International Conference on Fifth Generation Computer Systems, 1988, pp 1041–1050Google Scholar
- [Gupta & Jayaraman 90]Gupta, G. and Jayaraman, B. “Optimizing And- Or Parallel Implementations”, in Proceedings of the North American Logic Programming Conference, 1990, pp 605–623Google Scholar
- [Ichiyoshi et al 88]Ichiyoshi, N. et al. “A New External Reference Management and Distributed Unification for KL1”, in Proceedings of the International Conference on Fifth Generation Computer Systems, 1988Google Scholar
- [Kacsuk & Bale 87]
- [Kacsuk 90]Kacsuk, P. Execution Models of Prolog for Parallel Computers, Pitman Publishing and MIT Press, 1990Google Scholar
- [Kacsuk 91]
- [Kale & Ramkumar 90]Kale, L. V. and Ramkumar, B. “Joining AND parallel Solutions in AND/OR parallel Systems”, in Proceedings of the North American Logic Programming Conference, 1990, pp 624–643Google Scholar
- [Knuth 73]Knuth, D. E. The Art of Computer Programming, Vol. 3 (Sorting and Searching), Addison- Wesley, 1973, p232Google Scholar
- [Taylor et al 87]Taylor, S., Safra, S. and Shapiro, E. “A Parallel Implementation of Flat Concurrent Prolog”, in Concurrent Prolog Collected Papers, ed. E. Shapiro, MIT Press, 1987, pp 575–604Google Scholar
- [Warren 83]Warren, D. H. D. An Abstract Prolog Instruction Set, Technical Note 309, SRI International, 1983Google Scholar
- [Warren 87]Warren, D. H. D. “The SRI Model of OR-Parallel Execution of Prolog — Abstract Design and Implementation Issues”, in Proceedings of the 1987 Symposium on Logic Programming, 1987, pp 92–102Google Scholar