Extended Tight Semantics for Logic Programs