Eclipse中一个语义感知的Prolog编辑环境
A Semantics-Aware Editing Environment for Prolog in Eclipse
摘要：
在本文中，我们提出了一个基于BE4的Eclipse的Prolog插件，并提供了许多功能，如语义感知的语法突出显示，大纲视图，错误标记，内容辅助，悬停信息，文档生成，和快速修复。该插件使用Java解析器进行完整的Prolog，并集成了Prolog引擎，并且可以通过进一步的语义分析进行扩展，例如，基于抽象的解释。
英文摘要：
In this paper we present a Prolog plugin for Eclipse based upon BE4, and providing many features such as semantic-aware syntax highlighting, outline view, error marking, content assist, hover information, documentation generation, and quick fixes. The plugin makes use of a Java parser for full Prolog with an integrated Prolog engine, and can be extended with further semantic analyses, e.g., based on abstract interpretation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
