программирование, основанное на поиске устойчивой модели

answer set programming (подход к решению вычислительно сложных задач в рамках декларативного программирования Alex_Odeychuk)