Stable_model_semantics loading ...