Hi, I work on https://opencrux.com which is a close relative of Datomic but with different design goals (bitemporal + schemaless). It has a rich set of Datalog features, best exemplified in the tests: https://github.com/juxt/crux/blob/master/crux-test/test/crux...