Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


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 bottom-up 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 precision. The influence of domain characteristics on this precision is discussed and an experimental evaluation using a generic top-down analyzer is described. Our results provide intuition regarding the cases where a two phase analysis might be worthwhile.

Original languageEnglish
Pages (from-to)247-261
Number of pages15
JournalJournal of Logic Programming
Issue number3
StatePublished - 1 Jan 1997

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Exploiting goal independence in the analysis of logic programs'. Together they form a unique fingerprint.

Cite this