LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
classification
💻 cs.SE
cs.AI
keywords
logic-basedloideadvancedallowapplicationsavailabilitydevelopmentdifferent
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.