Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.

Samir Genaim Andy King

Published in: ESOP (2003)

Keyphrases

logic programs
logic programming
dynamic scheduling
answer set programming
stable models
answer sets
normal logic programs
inductive logic programming
fixpoint
stable model semantics
prolog programs
databases
database systems
data access
partial deduction