Analyzing logic programs using “prop”-ositional logic programs and a magic wand

DOI10.1016/0743-1066(95)00064-XzbMath0871.68049MaRDI QIDQ3128619

Bart Demoen, Michael Codish

Publication date: 17 April 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Prolog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Abstracting numeric constraints with Boolean functions, The anatomy of vampire. Implementing bottom-up procedures with code trees, Precise goal-independent abstract interpretation of constraint logic programs., Analysis and Transformation of Constrained Horn Clauses for Program Verification, Enhancing Magic Sets with an Application to Ontological Reasoning, Conjunctive Abstract Interpretation Using Paramodulation, Proving implications by algebraic approximation, Type dependencies for logic programs using ACI-unification, A freeness and sharing analysis of logic programs based on a pre-interpretation