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

Project Activity

See All Activity >

Categories

Debuggers, Artificial Intelligence

License

GNU General Public License version 2.0 (GPLv2)

Follow spock

spock Web Site

You Might Also Like
Integrate in minutes with our email API and trust your emails reach the inbox | SendGrid Icon
Integrate in minutes with our email API and trust your emails reach the inbox | SendGrid

Leverage the email service that customer-first brands trust for reliable inbox delivery at scale.

Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of spock!

Additional Project Details

Intended Audience

Developers

Registered

2008-07-29
Report inappropriate content