A Polymorphic Groundness Analysis of Logic Programs

Published in: CoRR (1998)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
computational properties
fixpoint
background knowledge
strong equivalence
query processing
query language
normal logic programs
prolog programs
existentially quantified
partial deduction