Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs.

Stefaan Decorte Danny De Schreye

Published in: ICLP (1997)

Keyphrases

logic programs
demand driven
termination analysis
logic programming
answer sets
answer set programming
active rules
stable models
active databases
fixpoint
partial deduction
inductive logic programming
normal logic programs
integrity constraints
strong equivalence
relational databases
deductive databases