Title: LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report,
Abstract: 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.