souffle-lint

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