首页 下载 数据库 其它 下载详情 Spock:用于在答案集语义下调试逻辑程序的原型工具 开源 上传:rzlf60549 浏览: 10 推荐: 0 文件:JAR 大小:232.16KB 上传时间:2021-05-03 02:48:08 版权申诉 Spock是用于在答案集语义下调试逻辑程序的原型工具。 它为DLV或Smodels语法的命题程序提供调试方法。 实现的技术依赖于ASP元编程。 立即下载 上传资源 微信扫一扫 用户评论 提交评论