Exploiting goal independence in the analysis of logic programs

Codish, Michael and Bruynooghe, Maurice and García de la Banda, M. and Hermenegildo, Manuel V. (1997). Exploiting goal independence in the analysis of logic programs. "Journal of logic programming", v. 32 (n. 3); pp. 247-261. ISSN 1567-8326. https://doi.org/10.1016/S0743-1066(96)00143-4.

Description

Title: Exploiting goal independence in the analysis of logic programs
Author/s:
  • Codish, Michael
  • Bruynooghe, Maurice
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Article
Título de Revista/Publicación: Journal of logic programming
Date: September 1997
Volume: 32
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 (861kB) | Preview

Abstract

This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottomup approach can be used, through the magic set transformation, for goal dependent analysis, it is less known that the top-down approach can be used for goal independent analysis. The paper describes two ways of doing the latter. We show how the results of a goal independent analysis can be used to speed up subsequent goal dependent analyses. However this speed-up may result in a loss of precisión. The influence of domain characteristics on this precisión is discussed and an experimental evaluation using a generic top-down analyzer is described.

More information

Item ID: 14268
DC Identifier: http://oa.upm.es/14268/
OAI Identifier: oai:oa.upm.es:14268
DOI: 10.1016/S0743-1066(96)00143-4
Official URL: http://www.sciencedirect.com/science/article/pii/S0743106696001434
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 13 Jan 2013 08:44
Last Modified: 21 Apr 2016 13:50
  • 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