LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
This tool addresses usability and accessibility issues for developers and researchers working with logic programming, though it appears incremental as it builds on existing paradigms and tools.
The authors tackled the need for better development tools in logic programming by presenting LoIDE, a web-based integrated development environment that supports logic-based languages and integrates with modern solvers.
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.