souffle-analyzer is a language server for the Souffle logic programming language.
The code in the demonstration GIF above is from the cclyzer++ project.
See ./docs/usage.md.
The following language server capabilities are currently available at both file level and workspace level:
- Go to defintion
- for relations and types
- Go to type defintion
- for constant or variable attributes within relation references or facts
- Go to references
- for relations
- Basic code completion
- Hover
- for relations and types
- Code actions
- generate docstring template for relation declarations
- Diagnostics
New feature suggestions are always welcome -- please file issues if you have any.