Spock:用于在答案集语义下调试逻辑程序的原型工具开源

上传：rzlf60549 浏览： 10 推荐： 0 文件：JAR 大小：232.16KB 上传时间：2021-05-03 02:48:08 版权申诉

Spock是用于在答案集语义下调试逻辑程序的原型工具。它为DLV或Smodels语法的命题程序提供调试方法。实现的技术依赖于ASP元编程。

上传资源