Datomic is a distributed database and implementation of Datalog. It has ACID transactions, joins, and a logical query language, Datalog. A distinguishing feature of Datomic is that time is a basic feature of data entities. It has been designed for first-class use with JVM languages such as Java and Clojure. https://en.wikipedia.org/wiki/Datomic
Not open source.