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

• Automatic reparsing when saving the file.

• Syntax error reporting

• Hover (Provide declaration info on hovers) Provide documentation about relations taken from comments (for multiline comments use the /* */ style)

• Go to definition

• Go to Type Definition

• Autocomplete

• Signature Help

• Rename

• Find all references

• Find all rules for relation

• Generate .input/.output for relation

• Reformat documentation comments

• Document symbols

The user needs to have Java installed on their system.

To build the server jar file yourself just run ./gradlew jar on the top level and the resulting jar will be under build/libs.

To run the server run java -cp with the name of the generated jar file.

For the VS Code plugin run npm run package and the resulting .js file will be under dist/extension.js

In libraries with heavy use of the C preprocessor macros, sometimes parsing fails giving a false syntax error.

Added code actions for reformatting documentation comments.

Added code actions for generating .input/.output for relations.

Updated README

• Changed the grammar to be on par with Souffle.
• Added icon.

Initial release of Soufflé Datalog Language Server.