Weakly Perfect Model Semantics for Logic Programs