Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (786kB) | Preview |
Lipovski, Gerald John and Hermenegildo, Manuel V. (1985). B-LOG: A branch and bound methodology for the parallel execution of logic programs. In: "International Conference on Parallel Processing (ICPP '85)", August 1985, University Park, PA, USA.
Title: | B-LOG: A branch and bound methodology for the parallel execution of logic programs |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | International Conference on Parallel Processing (ICPP '85) |
Event Dates: | August 1985 |
Event Location: | University Park, PA, USA |
Title of Book: | Proceedings of the 1985 International Symposium on Logic Programming |
Date: | August 1985 |
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 (786kB) | Preview |
We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.
Item ID: | 14537 |
---|---|
DC Identifier: | https://oa.upm.es/14537/ |
OAI Identifier: | oai:oa.upm.es:14537 |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 22 Feb 2013 07:31 |
Last Modified: | 27 Feb 2023 11:48 |