3 ms·

Isn't this exactly what datomic / datalog are?