LoIDE

The official webpage of the LoIDE project, a web-based IDE for Logic Programming

View project on GitHub

LoIDE

LoIDE is a web-based IDE for Logic Programming.

LoIDE PWA
LoIDE-PWA web GUI
LoIDE Classic
LoIDE-Classic web GUI

Team

  • Stefano Germano (Scientific Coordinator)
  • Eliana Palermiti
  • Rocco Palermiti
  • Alexander Karaulshchikov
  • Giorgio Andronico
  • Marco Duca
  • Francesco Calimeri (Scientific Supervisor)

From the Department of Mathematics and Computer Science of the University of Calabria.

Contacts

loide “AT” mat.unical.it

Guidelines

General info are available in our README.

Users

See the guides in our Wiki:

Developers

See our documentation:

License

This project is licensed under the MIT License.

Publications

  • Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
    Developing ASP Programs with ASPIDE and LoIDE
    Künstliche Intelligenz (KI 2018)
    paper
  • Stefano Germano, Francesco Calimeri, Eliana Palermiti
    LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
    International Symposium on Practical Aspects of Declarative Languages (PADL 2018)
    paper
  • Stefano Germano, Francesco Calimeri, Eliana Palermiti
    LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
    ArXiv Preprint (ArXiv, 2017)
    paper