Cuts and side-effects in and-or parallel prolog

• Type: Article in International Scientific Journal
• Date: 1996

Authors

Gupta, G (Author) Other; Costa, VS (Author) FCUP

Journal

Title: Journal of Logic Programming

Vol. 27

Pages: 45-71

ISSN: 0743-1066

Publisher: Elsevier B.V.

Indexing

ISI Web of Knowledge - 13 Citations

Scopus - 15 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-001-EHM

DOI: 10.1016/0743-1066(95)00092-5

Abstract (EN): Practical Prolog programs usually contain extra-logical features like cuts, side-effects, and database manipulating predicates. In order to exploit implicit parallelism from real applications while preserving sequential Prolog semantics, a parallel logic programming system should necessarily support these features. In this paper we show how Prolog's extra-logical features can be supported in an and-or parallel logic programming system. We show that to support extra-logical features an and-or parallel logic programming system should recompute the solutions to independent goals instead of sharing them. We describe an abstraction called the composition tree for representing and-or parallel execution with recomputation. We introduce the notion of ''local-leftmostness'' in the composition tree and use it for deriving complete and efficient methods for supporting extra-logical predicates in and-or parallel logic programming systems based on the composition tree abstraction.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 27