Wikipedia
Datomic
Datomic is a distributed database and implementation of Datalog on Clojure. It has ACID transactions, joins, a logical query language— Datalog.