Soufflé Datalog Language Server README
Soufflé is a logic programming language inspired by Datalog. Soufflé was initially designed for static program analysis and since then, there have been many other applications written in the Soufflé language, including applications in reverse engineering, network analysis and data analytics.
This is a plugin adding basic smart features to the Soufflé language, using the Language Server Protocol.
For syntax highlighting refer to: https://marketplace.visualstudio.com/items?itemName=W4RH4WK.souffle-syntax
The user needs to have Java installed on their system.
Build from source
To build the server jar file yourself just run
To run the server run
For the VS Code plugin run
In libraries with heavy use of the C preprocessor macros, sometimes parsing fails giving a false syntax error.
Minor fix in type autocomplete suggestions
Added code actions for reformatting documentation comments.
Added code actions for generating .input/.output for relations.
Initial release of Soufflé Datalog Language Server.