Spock 1.0 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. O desenvolvedor do programa é joergp. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O programa está dentro da categoria Ferramentas de Desenvolvimento.
Do desenvolvedor:
Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy-to-use tool provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
Confira mais programas, tais como TeXworks, Processing ou Platypus, que podem ser similares a Spock.