Stable models and an alternative logic programming paradigm