Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems.
Программирование наборов ответов (англ. Answer set programming, ASP) — это форма декларативного программирования, ориентированная на сложные (в основном NP-сложные) задачи поиска.