Answer Set Programming — декларативный подход к программированию, используемый для представления и решения сложных задач поиска и рассуждения. Задачи кодируются как логические правила, а специализированные решатели вычисляют стабильные модели, или наборы ответов, соответствующие допустимым решениям.
A form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers—programs for generating stable models—are used to perform search.