A web-based IDE for Logic Programming.

LoIDE-PWA

LoIDE-Classic

Purpose

The LoIDE project aims to create a modular and extensible web-based Integrated Development Environment (IDE) for Logic Programming, utilizing modern technologies and languages.

The project also aims to develop a web-service offering a standardized set of APIs for various logic-based languages.
For more details on the API, please refer to the Wiki.

Key Features

• Open-source Server/Client
  • Reference implementations available as Free and Open-Source Software (FOSS).
• Interoperable API
  • Open API based on the JSON Schema standard.
• Prototype Executor implementations
  • Reference implementations of solver executors in various programming languages.
• Executor protocol
  • Standard protocol for executors discovery and invocation.
• Responsive design
  • Works seamlessly across various devices.
• Multi-language/solver
  • Supports multiple logic programming languages and solvers.
• Executor instance selection
  • Pick among different execution environments.
• Syntax highlighting
  • Improved code readability with color-coded syntax.
• Multiple files support
  • Work with and manage multiple files simultaneously.
• Output highlighting
  • Easily identify important information in output results.
• Layout/Appearance customization
  • Tailor the IDE's look to your preference.
• Keyboard shortcuts
  • Boost efficiency with keyboard shortcuts.
• Execution/Solver options configuration
  • Fine-tune settings for specific tasks.
• Import/Export functionality
  • Save and share files and project settings easily.

Components

As the LoIDE project has expanded significantly in recent years, we have established separate repositories for each component. You can find these repositories here:

• LoIDE-PWA
  • Integrated Development Environment (IDE) for Logic Programming developed as a Progressive Web App (PWA)
• LoIDE-API-Server
  • API server that acts as an intermediary between LoIDE clients and server-side executors
• LoIDE-Classic
  • Former version of LoIDE: a web-based IDE for Logic Programming
• PythonESE
  • Python web app to execute logic programs with different solvers, using the EmbASP framework
• EmbASPServerExecutor
  • A Java application to run logic programs with different solvers, using the EmbASP framework

Versioning

We use Semantic Versioning for versioning.
Please refer to the Releases for a list of available versions.

Credits

• Stefano Germano (Scientific Coordinator)
• Eliana Palermiti
• Rocco Palermiti
• Alexander Karaulshchikov
• Giorgio Andronico
• Marco Duca
• Francesco Calimeri (Scientific Supervisor)

From the Department of Mathematics and Computer Science of the University of Calabria.

License

This project is licensed under the MIT License.