Exploiting goal independence in the analysis of logic programs

Codish, Michael; Bruynooghe, Maurice; García de la Banda, M. y 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.

Descripción

Título: Exploiting goal independence in the analysis of logic programs
Autor/es:
  • Codish, Michael
  • Bruynooghe, Maurice
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Journal of logic programming
Fecha: Septiembre 1997
Volumen: 32
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (861kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14268
Identificador DC: http://oa.upm.es/14268/
Identificador OAI: oai:oa.upm.es:14268
Identificador DOI: 10.1016/S0743-1066(96)00143-4
URL Oficial: http://www.sciencedirect.com/science/article/pii/S0743106696001434
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 13 Ene 2013 08:44
Ultima Modificación: 21 Abr 2016 13:50
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM