Model for combined and-or parallel execution of logic programs

Gopal Gupta; Bharat Jayaraman

Model for combined and-or parallel execution of logic programs

Gopal Gupta
, Bharat Jayaraman

Department of Computer Science and Engineering

University at Buffalo

University of North Carolina at Chapel Hill

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Abstract

An extended AND-OR tree for efficiently supporting both AND-parallelism and OR-parallelism on shared-memory multiprocessors is presented. The approach is based on the binding-arrays method for OR-parallelism and the restricted AND-parallelism method for AND-parallelism. The combined AND-OR model avoids redundant computations when goals exhibit both AND- and OR-parallelism by representing the cross-product of the solutions from the AND-OR-parallel goals rather than recomputing it.

Original language	English
Pages (from-to)	260-263
Number of pages	4
Journal	Proceedings of the International Conference on Parallel Processing
Volume	2
State	Published - 1989
Event	Proceedings of the 1989 International Conference on Parallel Processing - University Park, PA, USA Duration: Aug 8 1989 → Aug 12 1989

Cite this

@article{d5ae9d708d7540b08c7f6e662d2d28f2,

title = "Model for combined and-or parallel execution of logic programs",

abstract = "An extended AND-OR tree for efficiently supporting both AND-parallelism and OR-parallelism on shared-memory multiprocessors is presented. The approach is based on the binding-arrays method for OR-parallelism and the restricted AND-parallelism method for AND-parallelism. The combined AND-OR model avoids redundant computations when goals exhibit both AND- and OR-parallelism by representing the cross-product of the solutions from the AND-OR-parallel goals rather than recomputing it.",

author = "Gopal Gupta and Bharat Jayaraman",

year = "1989",

language = "English",

volume = "2",

pages = "260--263",

journal = "Proceedings of the International Conference on Parallel Processing",

issn = "0190-3918",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "Proceedings of the 1989 International Conference on Parallel Processing ; Conference date: 08-08-1989 Through 12-08-1989",

}

TY - JOUR

T1 - Model for combined and-or parallel execution of logic programs

AU - Gupta, Gopal

AU - Jayaraman, Bharat

PY - 1989

Y1 - 1989

N2 - An extended AND-OR tree for efficiently supporting both AND-parallelism and OR-parallelism on shared-memory multiprocessors is presented. The approach is based on the binding-arrays method for OR-parallelism and the restricted AND-parallelism method for AND-parallelism. The combined AND-OR model avoids redundant computations when goals exhibit both AND- and OR-parallelism by representing the cross-product of the solutions from the AND-OR-parallel goals rather than recomputing it.

AB - An extended AND-OR tree for efficiently supporting both AND-parallelism and OR-parallelism on shared-memory multiprocessors is presented. The approach is based on the binding-arrays method for OR-parallelism and the restricted AND-parallelism method for AND-parallelism. The combined AND-OR model avoids redundant computations when goals exhibit both AND- and OR-parallelism by representing the cross-product of the solutions from the AND-OR-parallel goals rather than recomputing it.

UR - https://www.scopus.com/pages/publications/0024898607

M3 - Conference article

SN - 0190-3918

VL - 2

SP - 260

EP - 263

JO - Proceedings of the International Conference on Parallel Processing

JF - Proceedings of the International Conference on Parallel Processing

T2 - Proceedings of the 1989 International Conference on Parallel Processing

Y2 - 8 August 1989 through 12 August 1989

ER -

Model for combined and-or parallel execution of logic programs

Abstract

Other files and links

Fingerprint

Cite this