Non-tranformational termination analysis of logic programs, based on general term-orderings.

Alexander Serebrenik Danny De Schreye

Published in: LOPSTR (2000)

Keyphrases

logic programs
logic programming
termination analysis
answer sets
stable models
answer set programming
fixpoint
normal logic programs
partial deduction
recursive programs
stable model semantics
computational properties
strong equivalence
active databases
prolog programs
orders of magnitude
loop formulas