Analyzing logic programs using "prop"-ositional logic programs and a magic wand

Michael Codish, Bart Demoen

Research output: Contribution to journalArticlepeer-review

36 Scopus citations


This paper illustrates the role of a class of "prop"-ositional logic programs in the analysis of complex properties of logic programs. Analyses are performed by abstracting Prolog programs to corresponding "prop"-ositional logic programs which approximate the original programs and have finite meanings. We focus on a groundness analysis which is equivalent to that obtained by abstract interpretation using the domain Prop. The main contribution is in the ease in which a highly efficient implementation of the analysis is obtained. The implementation is bottom-up and provides approximations of a program's success patterns. Goal-dependent information such as call patterns is obtained using a magic-set transformation. A novel compositional approach is applied so that call patterns for arbitrary goals are derived in a precise and efficient way.

Original languageEnglish
Pages (from-to)249-274
Number of pages26
JournalJournal of Logic Programming
Issue number3
StatePublished - 1 Jan 1995

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Analyzing logic programs using "prop"-ositional logic programs and a magic wand'. Together they form a unique fingerprint.

Cite this