The DLV System for Knowledge Representation and Reasoning
Classical negation in logic programs and disjunctive databases