Spock is a prototype tool for debugging logic programs under the answer-set semantics. Spock provides debugging methods for propositional programs in Smodels or DLV syntax. The implemented techniques rely on ASP-meta-programming.
Requirements: · Java