Pruning Operators for Disjunctive Logic Programming Systems