answer set programming

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A declarative, logic-based programming paradigm designed for solving complex combinatorial search and optimization problems.