Skip to main content

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 . It is oriented towards NP-hard search problems.