[riza_on]

I have been playing with Souffle for my datalog-based static analysis project

https://souffle-lang.github.io/docs/home/