souffle-lint
A linter for
Soufflé Datalog
. See
the documentation
for more information.