TALP: A Tool for the Termination Analysis of Logic Programs.

Enno Ohlebusch Claus Claves Claude Marché

Published in: RTA (2000)

Keyphrases

logic programs
termination analysis
logic programming
answer sets
stable models
answer set programming
active databases
active rules
fixpoint
normal logic programs
partial deduction
prolog programs
computational properties
stable model semantics
strong equivalence
deductive databases
data structure
database