{rfName}
AN

Indexed in

Citations

19

Altmetrics

Analysis of institutional authors

Hermenegildo, MvAuthor

Share

June 9, 2019
Publications
>
Article
No

AND-OR PARALLEL PROLOG - A RECOMPUTATION BASED APPROACH

Publicated to: NEW GENERATION COMPUTING. 11 (3-4): 297-321 - 1993-09-01 11(3-4), DOI: 10.1007/BF03037180

Authors:

GUPTA, G; HERMENEGILDO, MV; COSTA, VS
[+]

Abstract

We argue that in order to exploit both Independent And-and Or-parallelism in Prolog programs there is advantage in recomputing some of the independent goals, as opposed to all their solutions being reused. We present an abstract model, called the Composition-tree, for representing and-or parallelism in Prolog programs. The Composition-tree closely mirrors sequential Prolog execution by recomputing some independent goals rather than fully re-using them. We also outline two environment representation techniques for And-Or parallel execution of full Prolog based on the Composition-tree model abstraction. We argue that these techniques have advantages over earlier proposals for exploiting and-or parallelism in Prolog.
[+]

Keywords

Environment representationIndependent and-parallelismOr-parallelismPaged binding arraysStack copyingSupporting extra-logical predicates

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-24:

  • WoS: 9
  • Scopus: 10
[+]

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2026-04-24:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 2 (PlumX).

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • Assignment of a Handle/URN as an identifier within the deposit in the Institutional Repository: https://oa.upm.es/14287/

As a result of the publication of the work in the institutional repository, statistical usage data has been obtained that reflects its impact. In terms of dissemination, we can state that, as of

  • Views: 413
  • Downloads: 555
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: United Kingdom; United States of America.

[+]