ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems
Answer set programming is a form of declarative programming based on the answer set (stable model) semantics of logic programming logic-programming. It is oriented towards NP-hard search problems.