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許可獲得許可。