LoIDE

A web-based IDE for Logic Programming.

IMPORTANT NOTE

LoIDE started as an undergraduate student's work of thesis, and is still at the early stages of development.

It currently supports only Answer Set Programming; we encourage any feedback, but we do NOT recommend it for production yet.

Online Beta

Find a live beta version at www.mat.unical.it/calimeri/projects/loide

This online version uses the EmbASPServerExecutor to run the solvers

Purpose

The main goal of the LoIDE project is the release of a modular and extensible web-IDE for Logic Programming using modern technologies and languages.

A further goal of the project is to provide a web-service with a common set of APIs for different logic-based languages.
Further information can be found in the Wiki

Key Features

Syntax highlighting
Output highlighting
Layout and appearance customization
Keyboard shortcuts
Multiple file support
Execution and Solvers options definition
Import and Export files

Getting Started (Installation and Usage)

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.

Prerequisites

It requires only Node.js®

Installing

Install dependencies:

npm install

Running

Start the server:

npm start

Use LoIDE in a browser at:

http://localhost:8084

Note

You need an "executor" in order to run the solvers.

If you like it, you can use our EmbASPServerExecutor.

Built With

Ace - The "base" of our editor
Bootstrap - the front-end web framework used
jQuery and its UI Layout plugin - Used to improve the UI
BiMap - Used to manage the options for solvers and languages
keymaster.js - Used to implement keyboard shortcuts outside the editor

Versioning

We use Semantic Versioning for versioning. For the versions available, see the releases on this repository.

Credits

Stefano Germano
Eliana Palermiti
Francesco Calimeri

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

License

This project is licensed under the MIT License