B-LOG: A branch and bound methodology for the parallel execution of logic programs

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.

Description

Title: B-LOG: A branch and bound methodology for the parallel execution of logic programs
Author/s:
  • Lipovski, Gerald John
  • Hermenegildo, Manuel V.
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

Full text

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

Abstract

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.

More information

Item ID: 14537
DC Identifier: http://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: 21 Apr 2016 14:15
  • 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