Contextual hypotheses and semantics of logic programs