A Backjumping Tecnique for Disjunctive Logic Programming