Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.
@article{arxiv.1709.05341,
title = {LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report},
author = {Stefano Germano and Francesco Calimeri and Eliana Palermiti},
journal= {arXiv preprint arXiv:1709.05341},
year = {2017}
}