Spock 1.0 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Dieses Programm gehört zur Kategorie "Programmierung" und Unterkategorie "Debugging". Der eigentliche Entwickler dieses kostenlosen Programms ist joergp. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind.
Vom Entwickler:
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.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Canon IJ Network Tool oder Discovery Tool informieren, die an Spock ähnlich sein können.