LoIDE is an open-source web-based IDE for Logic Programming.
It is modular and extensible, and it has been developed using modern technologies and languages to be available from any device.
Link to the webpage
Link to a live demo
Link to the GitHub repository
