I released a thing. Thought people on this server might also be interested (I am normally at types.pl). It is language / database library based on #datalog @datalog https://github.com/google/mangle