An extended semantics for logic programs with annotated disjunctions and its efficient implementation