Программирование наборов ответов (ASP) — форма декларативного программирования ориентированная на сложные (в первую очередь NP-трудные) задачи поиска. Он основан на семантике стабильной модели (набор ответов) логического программирования. В ASP задачи поиска сводятся к вычислению стабильных моделей, а решатели наборов ответов — программы для создания стабильных моделей — используются для выполнения поиска.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]