Vadacode is a Visual Studio Code extension to support development in Datalog± language. |
- Install
vadacodefrom the latest.vsixfile in the releases channel; - Open or create a
.vadafiles and start coding!
Vadacode is an Integrated Development Environment to support writing Datalog± logic programs into a Datalog± dialect called Vadalog, which is documented here. At the Bank of Italy, we use Vadacode to write and test logic programs using the Vadalog engine.
Discover everything Vadacode can do at https://www.vadalog.org/vadacode-manual/latest.
Vadacode has been presented at VLDB 2025, along with the demo paper Vadacode: A Logician-Friendly IDE for Datalog, Proceedings of the VLDB Endowment 18(12):5411-5414, September 2025.
Vadacode is free and the source is available under the Server Side Public License (SSPL) v1. See individual files for details which will specify the license applicable to each file. Files subject to the SSPL will be noted in their headers.