answer-set-programming Uses declarative programming language - clingo based on programming method - ASP