Answer set programming — a domain in need of explanation a position paper
Martin Brain, Marina De Vos · 2008
Abstract. This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks in communicating the reasons to the user. In this paper we examine the reasons for this and suggest some possible future directions. 1