answer set programming noun1 •A declarative, logic-based programming paradigm designed for solving complex combinatorial search and optimization problems.