Goal dependent vs. Goal independent analysis of logic programs

M. Codish, M. García de la Bands, M. Bruynooghc, M. Hermenegildo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with.a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.

Original languageEnglish
Title of host publicationLogic Programming and Automated Reasoning - 5th International Conference, LPAR 1994, Proceedings
EditorsFrank Pfenning
PublisherSpringer Verlag
Pages305-319
Number of pages15
ISBN (Print)9783540582168
DOIs
StatePublished - 1 Jan 1994
Event5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994 - Kiev, Ukraine
Duration: 16 Jul 199422 Jul 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume822 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994
Country/TerritoryUkraine
CityKiev
Period16/07/9422/07/94

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Goal dependent vs. Goal independent analysis of logic programs'. Together they form a unique fingerprint.

Cite this