Verifying Correctness of Logic Programs.

Annalisa Bossi Nicoletta Cocco

Published in: TAPSOFT, Vol.2 (1989)

Keyphrases

logic programs
logic programming
answer sets
fixpoint
answer set programming
stable models
prolog programs

background knowledge
computational properties
inductive logic programming
logic program updates
stable model semantics
model checking
normal logic programs

strong equivalence
minimal models
existentially quantified
reasoning tasks
finite state machines
definite clause

relational databases
loop formulas
semantics of logic programs
partial deduction
term rewriting systems
knowledge base