Independence in dynamically scheduled logic languages

García de la Banda, María and Hermenegildo, Manuel V. and Marriott, Kim (1996). Independence in dynamically scheduled logic languages. In: "5th International Conference on Algebraic and Logic Programming", 25-27 Sep 1996, Aachen, Alemania. ISBN 978-3-540-61735-8. pp. 47-61. https://doi.org/10.1007/3-540-61735-3_3.

Description

Title: Independence in dynamically scheduled logic languages
Author/s:
  • García de la Banda, María
  • Hermenegildo, Manuel V.
  • Marriott, Kim
Item Type: Presentation at Congress or Conference (Article)
Event Title: 5th International Conference on Algebraic and Logic Programming
Event Dates: 25-27 Sep 1996
Event Location: Aachen, Alemania
Title of Book: Algebraic and Logic Programming: 5th International Conference, ALP '96
Date: 1996
ISBN: 978-3-540-61735-8
Volume: 1139
Subjects:
Freetext Keywords: Logic program; Logic programming; Transition rule; Parallel execution; Initial sequence
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 (922kB) | Preview

Abstract

The notion of independence has been used in conventional logic programming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we extend this notion to logic programming languages with dynamic scheduling. This type of scheduling, in which some calls are dynamically “delayed” until their arguments are sufficiently instantiated, is provided in most practical implementations because it offers advantages for both programming power and declarativeness. We focus on the notion of independence required for ensuring correctness and efficiency of parallelization within the independent and-parallel model. We also provide sufficient conditions for independence which can be evaluated “a-priori” (i.e., at run-time), as is needed in many practical applications.

More information

Item ID: 55523
DC Identifier: http://oa.upm.es/55523/
OAI Identifier: oai:oa.upm.es:55523
DOI: 10.1007/3-540-61735-3_3
Official URL: https://link.springer.com/chapter/10.1007/3-540-61735-3_3
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 20 Jun 2019 11:33
Last Modified: 20 Jun 2019 11:33
  • 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