Spock是用于在答案集语义下调试逻辑程序的原型工具。 它为DLV或Smodels语法的命题程序提供调试方法。 实现的技术依赖于ASP元编程。