Stable_model_semantics