国歌

赞歌:将外国佬程序转化为一阶理论(初步报告)。在Harrison等人最近的一篇论文中,程序完成的概念被扩展到ASP grounder gringo的输入语言中的一大类程序。我们希望用这种语言自动生成和简化程序的完成公式,因为检查这种软件产生的输出可以帮助程序员更清楚地看到他们的程序在做什么,以及它的一组稳定模型在多大程度上符合他们的意图。如果程序的正式规范可用,那么可以使用该软件,结合自动推理工具来验证程序是否正确。本说明是关于一个项目的初步报告。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换