Spock 1.0 for Mac could be downloaded from the developer's website when we last checked. We cannot confirm if there is a free download of this app available. This free Mac app is an intellectual property of joergp. We recommend checking the downloaded files with any free antivirus. The program relates to Developer Tools.
From the developer:
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.
You may want to check out more Mac applications, such as EasyEclipse for PHP, Prototypes or Affrus, which might be related to Spock.
Puzzle