Learn More
Logic programs with classical negation are defined• The analysis of these programs is based in a fundamental way upon the theory of sets of disjunctive clauses, which was the basis of theorem-proving(More)