LoIDE

用于逻辑编程的基于Web的IDE。

Loide-PWA

Loide-Classic

目的

Loide项目旨在为逻辑编程创建一个模块化和可扩展的基于Web的集成开发环境（IDE），并利用现代技术和语言。

该项目还旨在开发网络服务，为各种基于逻辑的语言提供一组标准化的API。
有关API的更多详细信息，请参考Wiki。

关键功能

• 开源服务器/客户端
  • 参考实现可作为免费和开源软件（FOSS）提供。
• 可互操作的API
  • 根据JSON模式标准打开API。
• 原型执行程序实现
  • 用各种编程语言的求解器执行者的参考实现。
• 执行者协议
  • 执行者发现和调用的标准协议。
• 响应式设计
  • 在各种设备上无缝工作。
• 多语言/求解器
  • 支持多种逻辑编程语言和求解器。
• 执行人实例选择
  • 在不同的执行环境中选择。
• 语法突出显示
  • 用颜色编码的语法提高了代码可读性。
• 多个文件支持
  • 同时使用并管理多个文件。
• 输出突出显示
  • 在输出结果中轻松确定重要信息。
• 布局/外观自定义
  • 量身定制IDE的外观。
• 键盘快捷键
  • 通过键盘快捷键提高效率。
• 执行/求解器选项配置
  • 用于特定任务的微调设置。
• 导入/导出功能
  • 轻松保存和共享文件和项目设置。

成分

近年来，随着Loide项目的显着扩展，我们为每个组件建立了单独的存储库。您可以在这里找到这些存储库：

• Loide-PWA
  • 用于逻辑编程的集成开发环境（IDE）开发为渐进式Web应用程序（PWA）
• Loide-Api-Server
  • 充当Loide客户端和服务器端执行者之间的中介的API服务器
• Loide-Classic
  • Loide的前版：用于逻辑编程的基于网络的IDE
• 脓星
  • Python Web应用程序使用饰物框架使用不同的求解器执行逻辑程序
• EMBASPSERVEREXECUTOR
  • 使用饰物框架的Java应用程序可以使用不同的求解器运行逻辑程序

版本控制

我们使用语义版本控制进行版本控制。
请参阅发行版以获取可用版本的列表。

学分

• Stefano Germano（科学协调员）
• Eliana Palermiti
• 罗科·巴勒米蒂（Rocco Palermiti）
• 亚历山大·卡拉希科夫（Alexander Karaulshchikov）
• Giorgio Andronico
• 马可·杜卡（Marco Duca）
• Francesco Calimeri（科学主管）

来自卡拉布里亚大学数学与计算机科学系。

执照

该项目已根据MIT许可获得许可。