SLDNF, Constructive Negation and Grounding


In some approaches to the declarative semantics of logic programming, a program is treated as shorthand for the propositional program Ground(() whose rules are the ground instances of the rules of. We relate the success and failure of a program with a goal G under SLDNF with constructive negation to the success and failure of Ground(() with ground instances… (More)