Answer set programming is a form of declarative programming oriented towards difficult search problems. It is based on the stable model semantics of logic programming. Wikipedia