prolog_用于将Prolog引入Eclipse的Eclipse逻辑框架建议

最新推荐文章于 2021-02-28 23:36:43 发布

diluan6799

最新推荐文章于 2021-02-28 23:36:43 发布

阅读量183

点赞数

文章标签： java 编程语言 python eclipse spring

prolog

Eclipse Logic Framework （ELF）项目已被提议为开源Eclipse项目。

ELF项目旨在通过将Prolog语言添加到支持的语言的现有Eclipse生态系统中来重新引起对实用逻辑编程的兴趣。它将提供一个完整的Prolog开发和运行时环境-所谓的“多合一” IDE。 ELF IDE将在项目自己的内部运行时以及外部本地Prolog运行时引擎（例如SWI-Prolog）中支持Prolog代码的编辑，代码导航和重构。内部运行时将允许Prolog程序在Java虚拟机上运行。目的是最终以一种多范式方法最终集成Prolog和Java，使开发人员可以选择从两种语言中选择片段来完成特定任务。并为基于逻辑的应用程序在Java虚拟机上运行提供平台。

鼓励逻辑编程和多范式编程社区的研究人员和工具制造商为ELF项目的开发和关键评估做出贡献。该提案还提到了一种切入教育领域的愿望，因为ELF将支持开箱即用的多个运行时，这意味着用户可以将注意力集中在语言问题上，而不是安装问题。这应该降低进入逻辑编程的障碍。

最初，该项目将由一组IDE贡献，一个连接器框架，一个基于Java的Prolog解释器，一个Prolog-to-Java源到源翻译器系统，一个基于Java的Prolog运行时，一个“ Java体系结构”组成。 Prolog Binding'（JAPB）API和一组内置示例项目。还正在考虑对Common Logic（CL）数据格式的支持和对语义Web数据格式的支持。

ELF小组目前正在ELF论坛上征集Eclipse社区的反馈。