The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1994 vol.5)
pp: 170-180
ABSTRACT
<p>We describe a binding environment for the AND and OR parallel execution of logicprograms that is suitable for both shared and nonshared memory multiprocessors. Thebinding environment was designed with a view of rendering a compiler using this bindingenvironment machine independent. The binding environment is similar to closedenvironments proposed by J. Conery. However, unlike Conery's scheme, it supports ORand independent AND parallelism on both types of machines. The term representation, the algorithms for unification and the join algorithms for parallel AND branches are presented in this paper. We also detail the differences between our scheme and Conery's scheme. A compiler based on this binding environment has been implemented on a platform for machine independent parallel programming called the Chare Kernel.</p>
INDEX TERMS
Index Termsmultiprocessing systems; parallel programming; logic programming; parallel execution;logic programs; binding environment; nonshared memory multiprocessors; shared memory multiprocessors; compiler; Chare Kernel
CITATION
B. Ramkumar, L.V. Kalé, "Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment", IEEE Transactions on Parallel & Distributed Systems, vol.5, no. 2, pp. 170-180, February 1994, doi:10.1109/71.265944
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool