海狮

海豹登陆:答案集编程的IDE——初步报告。我们报告了工具selian的当前状态和指定的特性,旨在作为应答集编程(ASP)的集成开发环境(IDE)。SeaLion的一个主要目标是提供一个用户友好的环境来支持开发人员编写、评估、调试和测试答案集程序。为此,必须开发新的支持技术,以满足答案集语义的要求,并满足实际应用的限制。在这方面,SeaLion得益于一个关于答案集程序开发方法和方法的项目的研究成果,在这个项目中实现了SeaLion。目前,该工具为Gringo和DLV语言提供源代码编辑器,它们提供语法高亮显示、语法检查和可视化程序大纲。进一步实现的功能是支持外部解算器和可视化以及答案集的可视化编辑。SeaLion是流行的Eclipse平台的一个插件,它为将来的IDE扩展提供了接口。