A Program Transformation for Backwards Analysis of Logic Programs.

John P. Gallagher

Published in: LOPSTR (2003)

Keyphrases

logic programs
logic programming
stable model semantics
answer set programming
fixpoint
declarative semantics
partial deduction
inductive logic programming
prolog programs
loop formulas
answer set programs
answer sets
stable models
computational properties
functional programs
term rewriting systems
magic sets