A simple polynomial groundness analysis for logic programs.

Andy Heaton Muhamed Abo-Zaed Michael Codish Andy King

Published in: J. Log. Program. (2000)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
background knowledge
stable models
logic program updates
horn clauses
fixpoint
partial deduction
inductive logic programming
computational properties
prolog programs
term rewriting systems