Relational Groundness Analysis for Logic Programs.

Published in: ILPS (1993)

Keyphrases

logic programs
logic programming
answer set programming
stable models
answer sets
background knowledge
term rewriting systems
expert systems
fixpoint
partial deduction
data model
programming language
prolog programs
loop formulas
logic program updates