souffle-lint

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