Interactive Debugging of ASP Programs

Kostyantyn Shchekotykhin

Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process. Program debugging is one of the c…