Abstract
This paper presents a highly parallel machine architecture for logic programs. We propose a Reduction-Based Parallel Inference Machine: PIM-R and describe the parallel execution mechanisms for PIM-R to run Prolog and Concurrent Prolog programs and sofware simulation results.
PIM-R uses the structure-copy method. It also uses the only reducible goal copy method, a unique process-structuring method, and the reverse compaction method to decrease the amount, of copying and various copyingrelated operations and the number of packets passing through the network. PIM-R architecture features include the distributed shared memory for Concurrent Prolog, network nodes for efficient packet distribution, and the structure memory to store a part of structured data for reducing the copying overhead.
Similar content being viewed by others
References
Clark, K. L. and Gregory, S., “PARLOG: Parallel Programming in Logic,”Research Report, DOC 84/4, Dept. of Computing, Imperial College, London, 1984.
Darlington, J. and Reeve, M., “ALICE and the Parallel Evaluation of Logic Programs,”The 10th Annual International Symposium on Computer Architecture, 1983.
Inmos Limited,Occam Programming Manual, Prentice Hall International Series in Computer Science, 1984.
Inmos Limited,IMS T424 Transputer Reference Manual, 1984.
Ito, N. and Masuda, K., “Parallel Inference Machine Based on the Data Flow Model,”Proc. of the International Workshop on High Level Computer Architecture 84, 1984.
Moto-oka, T., Tanaka, H., Aida, H., Hirata, K., and Maruyama, T., “The Architecture of a Parallel Inference Engine-PIE-,”Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, November, 1984.
Onai, R., Shimizu, H., Masuda, K. and Aso, M., “Analysis of Sequential Prolog Programs,”ICOT Technical Report, TR-048, 1984.
Pereira, L. M. and Nasr, R., “DELTA-PROLOG: A Distributed Logic Language,”Proc. of Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, November, 1984.
Shapiro, E. Y., “A subset of Concurrent Prolog and Its Interpreter,”ICOT Technical Report, TR-003, 1983.
Shapiro, E. Y., “Lecture Notes on The Bagel: a Systolic Concurrent Prolog Machine,”ICOT Technical Memo, TM-0031, 1983.
Turner, D. A., “A New Implementation Technique for Applicative Languages,”Software-Practice and Experience,Vol.9,No. 1 1979.
Author information
Authors and Affiliations
About this article
Cite this article
Onai, R., Aso, M., Shimizu, H. et al. Architecture of a Reduction-Based Parallel Inference Machine: PIM-R. NGCO 3, 197–228 (1985). https://doi.org/10.1007/BF03037069
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF03037069