Then programs with many stable models correspond to problems with many solutions, and programs without stable models correspond to unsolvable problems.
Тоді програми з багатьма стійкими моделями відповідають задачам з багатьма розв'язками, а програми без стійких моделей відповідають нерозв'язним задачам.