Программирование на множестве ответов
Программирование на множестве ответов (ASP) — форма декларативного программирования, ориентированная на решение сложных (в первую очередь NP-трудных) задач поиска. Она основана на семантике стабильной модели (множества ответов) логического программирования. В ASP задачи