TY - GEN
T1 - An abstract machine for the reduce-OR process model for parallel prolog
AU - Ramkumar, Balkrishna
AU - Kalé, Laxmikant V.
N1 - Funding Information:
*This work is supported in part by a National Science Foundation grant NSF CCR-87-00988 1The difference is that in DJGs arcs represent literals and nodes represent the joining points for the data produced by titerals on its incoming ares.
PY - 1990
Y1 - 1990
N2 - We discuss the design of an abstract machine for the Reduce-OR process model (ROPM) for the AND and OR parallel execution of Prolog programs. It differs from the WAM in many respects, and some of these differences are elaborated upon in this paper. Some of the significant differences are related to the binding environment which has been designed to support AND and OR parallel execution of logic programs on both shared and nonshared memory machines, the process model, and the handling of solutions for AND parallel branches in the Data Join Graph (DJG 1) that is used to represent data dependencies in a Prolog clause. An emulator for the abstract machine has been implemented and is targeted for both shared and nonshared memory machines.
AB - We discuss the design of an abstract machine for the Reduce-OR process model (ROPM) for the AND and OR parallel execution of Prolog programs. It differs from the WAM in many respects, and some of these differences are elaborated upon in this paper. Some of the significant differences are related to the binding environment which has been designed to support AND and OR parallel execution of logic programs on both shared and nonshared memory machines, the process model, and the handling of solutions for AND parallel branches in the Data Join Graph (DJG 1) that is used to represent data dependencies in a Prolog clause. An emulator for the abstract machine has been implemented and is targeted for both shared and nonshared memory machines.
UR - http://www.scopus.com/inward/record.url?scp=85032866271&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85032866271&partnerID=8YFLogxK
U2 - 10.1007/BFb0018385
DO - 10.1007/BFb0018385
M3 - Conference contribution
AN - SCOPUS:85032866271
SN - 9783540528500
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 266
EP - 275
BT - Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings
A2 - Ramani, S.
A2 - Chandrasekar, R.
A2 - Anjaneyulu, K.S.R.
PB - Springer
T2 - 2nd International Conference on Knowledge Based Computer Systems, KBCS 1989
Y2 - 11 December 1989 through 13 December 1989
ER -