Recomputation based implementation of and-or parallel prolog

Gupta, Gopal and Hermenegildo, Manuel V. (1992). Recomputation based implementation of and-or parallel prolog. In: "International Conference on Fifth Generation Computer Systems. 1992", 1992, June 1-5, Tokyo, Japan. ISBN 9051990995.

Description

Title: Recomputation based implementation of and-or parallel prolog
Author/s:
  • Gupta, Gopal
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: International Conference on Fifth Generation Computer Systems. 1992
Event Dates: 1992, June 1-5
Event Location: Tokyo, Japan
Title of Book: Fifth Generation Computer Systems '92
Date: June 1992
ISBN: 9051990995
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_1992-2.pdf]
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: 14475
DC Identifier: https://oa.upm.es/14475/
OAI Identifier: oai:oa.upm.es:14475
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Feb 2013 07:32
Last Modified: 27 Feb 2023 12:04
  • 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