For instance, the eight queens puzzle has 92 solutions; to solve it using answer set programming, we encode it by a logic program with 92 stable models.
Наприклад, задача про вісім ферзів має 92 розв'язки; щоби розв'язати її із застосуванням програмування наборами відповідей, ми кодуємо її логічною програмою з 92 стійкими моделями.