Cpt Kirk:获取答案集程序的理由和理由-不是理由。-开源

由于https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pub中提出的方法基于元编程，因此可以使用支持以下功能的现有最新软件系统：建立并回答了语义，这使我们能够通过扩展与调试方法相关的工具Spock（因此命名为Cpt）来开始开发这一新工具。 柯克此外，更重要的是，一个探索的方向是使用“ metaASP”中所述的提纯技术通过饱和技术获得隐含物，并通过优化并因此获得适当的最小定理来获得物产配方的主要隐含物。