LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Stefano Germano, Francesco Calimeri, Eliana Palermiti

TL;DR
LoIDE is a modular web-based IDE designed for logic programming languages, integrating with modern solvers to facilitate development of real-world applications.
Contribution
This work introduces LoIDE, a novel web-based IDE that enhances logic programming development with modular design and solver integration.
Findings
LoIDE supports multiple logic programming languages.
It seamlessly integrates with leading solvers.
The tool improves development efficiency for logic applications.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Logic, programming, and type systems
