SPARC - Sorted ASP with Consistency Restoring Rules
Classical negation in logic programs and disjunctive databases