Minimum Model Semantics for Logic Programs with Negation-as-Failure