Cuts and side-effects in and-or parallel prolog

• Tipo: Artigo em Revista Científica Internacional
• Data: 1996

Autores

Gupta, G (Autor) Outra; Costa, VS (Autor) FCUP

Revista

Título: Journal of Logic Programming

Vol. 27

Páginas: 45-71

ISSN: 0743-1066

Editora: Elsevier B.V.

Indexação

ISI Web of Knowledge - 13 Citações

Scopus - 15 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 27