And-or parallel prolog: a recomputation based approach

Gupta, Gopal and Hermenegildo, Manuel V. and Santos Costa, Vítor (1993). And-or parallel prolog: a recomputation based approach. "New Generation Computing", v. 11 (n. 3/4); pp. 297-323. ISSN 0288-3635. https://doi.org/10.1007/BF03037180.

Description

Title: And-or parallel prolog: a recomputation based approach
Author/s:
  • Gupta, Gopal
  • Hermenegildo, Manuel V.
  • Santos Costa, Vítor
Item Type: Article
Título de Revista/Publicación: New Generation Computing
Date: 1993
ISSN: 0288-3635
Volume: 11
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

We argüe 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 argüe that these techniques have advantages over earlier proposals for exploiting and-or parallelism in Prolog.

More information

Item ID: 14287
DC Identifier: http://oa.upm.es/14287/
OAI Identifier: oai:oa.upm.es:14287
DOI: 10.1007/BF03037180
Official URL: http://link.springer.com/article/10.1007%2FBF03037180?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 16 Jan 2013 07:54
Last Modified: 21 Apr 2016 13:52
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM