LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report

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.