sentence1: answer set programming is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming .
sentence2: answer set programming is a logic programming paradigm for declarative problem solving that has become popular during the last decades .