Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
Title: | Recomputation based implementation of and-or parallel prolog |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
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 |