A framework for easing the development of applications embedding answer set programming
Classical negation in logic programs and disjunctive databases