Datomic
https://www.datomic.com/
/iku000888-notes/datomic & inspired products
https://en.wikipedia.org/wiki/Datomic
Datomic is a distributed database and implementation of
Datalog
.