玛丽娜·德沃斯；多阿·吉泽姆·基萨；Johannes Oetsch；约格·普勒；汉斯·托姆皮茨 在LANA中注释答案集程序。 （英语） Zbl 1260.68058号 理论与实践。日志。程序。 12，No.4-5，619-637（2012）. 摘要：虽然过去对答案集编程（ASP）的研究主要集中在理论、ASP求解器技术和应用上，但目前的工作是在一个最近的研究趋势的背景下进行的：对ASP的开发支持。特别是，我们建议使用专用注释语言（称为Lana）中制定的附加元信息来扩充答案集程序。这种语言允许将规则分组为连贯的块，并指定语言签名、类型、前置和后置条件以及这些块的单元测试。虽然这些注释对ASP解算器是不可见的，因为它们是以程序注释的形式出现的，但它们可以由工具进行解释，用于文档、测试和验证目的，以及通过实现语法检查或代码完成功能来消除常见编程错误的来源。为了证明它的多功能性，我们引入了两个这样的工具，即（i）ASPDoc，用于根据注释信息为程序生成HTML文档，以及（ii）ASPUnit，用于运行和监视程序块上的单元测试。Lanais还开发了Sea Lion系统，这是一个基于Eclipse的ASP集成开发环境。 引用于1文件 MSC公司： 68N17号 逻辑编程 关键词：答案集编程；程序注释；文档；单元测试 软件：ASPDoc公司；斯莫德尔斯；ASP单元；海狮；卡拉；拉娜；ASPVIZ公司；APE公司；天基信息平台 PDF格式BibTeX公司 XML格式引用 \textit{M.De Vos}等人，《理论与实践》。日志。程序。12、编号4--5、619--637（2012；Zbl 1260.68058） 全文： 内政部 arXiv公司