An abstract machine for the reduce-OR process model for parallel prolog

Balkrishna Ramkumar; Laxmikant V Kale

doi:10.1007/BFb0018385

An abstract machine for the reduce-OR process model for parallel prolog

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings
Editors	S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu
Publisher	Springer-Verlag
Pages	266-275
Number of pages	10
ISBN (Print)	9783540528500
DOIs	https://doi.org/10.1007/BFb0018385
State	Published - Jan 1 1990
Event	2nd International Conference on Knowledge Based Computer Systems, KBCS 1989 - Bombay, India Duration: Dec 11 1989 → Dec 13 1989

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	444 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	2nd International Conference on Knowledge Based Computer Systems, KBCS 1989
Country	India
City	Bombay
Period	12/11/89 → 12/13/89

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/BFb0018385

Fingerprint Dive into the research topics of 'An abstract machine for the reduce-OR process model for parallel prolog'. Together they form a unique fingerprint.

Cite this

Ramkumar, B., & Kale, L. V. (1990). An abstract machine for the reduce-OR process model for parallel prolog. In S. Ramani, R. Chandrasekar, & K. S. R. Anjaneyulu (Eds.), Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings (pp. 266-275). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 444 LNAI). Springer-Verlag. https://doi.org/10.1007/BFb0018385

An abstract machine for the reduce-OR process model for parallel prolog. / Ramkumar, Balkrishna; Kale, Laxmikant V.

Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings. ed. / S. Ramani; R. Chandrasekar; K.S.R. Anjaneyulu. Springer-Verlag, 1990. p. 266-275 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 444 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ramkumar, B & Kale, LV 1990, An abstract machine for the reduce-OR process model for parallel prolog. in S Ramani, R Chandrasekar & KSR Anjaneyulu (eds), Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 444 LNAI, Springer-Verlag, pp. 266-275, 2nd International Conference on Knowledge Based Computer Systems, KBCS 1989, Bombay, India, 12/11/89. https://doi.org/10.1007/BFb0018385

Ramkumar B, Kale LV. An abstract machine for the reduce-OR process model for parallel prolog. In Ramani S, Chandrasekar R, Anjaneyulu KSR, editors, Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings. Springer-Verlag. 1990. p. 266-275. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0018385

Ramkumar, Balkrishna ; Kale, Laxmikant V. / An abstract machine for the reduce-OR process model for parallel prolog. Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings. editor / S. Ramani ; R. Chandrasekar ; K.S.R. Anjaneyulu. Springer-Verlag, 1990. pp. 266-275 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ffe9dd1f4809410cad26795ebad9e360,

title = "An abstract machine for the reduce-OR process model for parallel prolog",

abstract = "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.",

author = "Balkrishna Ramkumar and Kale, {Laxmikant V}",

year = "1990",

month = jan,

day = "1",

doi = "10.1007/BFb0018385",

language = "English (US)",

isbn = "9783540528500",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "266--275",

editor = "S. Ramani and R. Chandrasekar and K.S.R. Anjaneyulu",

booktitle = "Knowledge Based Computer Systems - International Conference KBCS 1989, Proceedings",

note = "2nd International Conference on Knowledge Based Computer Systems, KBCS 1989 ; Conference date: 11-12-1989 Through 13-12-1989",

}

TY - GEN

T1 - An abstract machine for the reduce-OR process model for parallel prolog

AU - Ramkumar, Balkrishna

AU - Kale, Laxmikant V

PY - 1990/1/1

Y1 - 1990/1/1

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-Verlag

T2 - 2nd International Conference on Knowledge Based Computer Systems, KBCS 1989

Y2 - 11 December 1989 through 13 December 1989

ER -