Created: 2016-10-11 15:24
Updated: 2018-11-30 14:45
License: mit

README.md

GitHub license GitHub release GitHub issues Website Twitter

LoIDE

A web-based IDE for Logic Programming.

LoIDE web GUI

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

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

Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more