It's Datomic
Interestingly, this is not unlike an early Lisp-based, er, database: Statice from Symbolics. Some folks went on from Statice to implement ObjectStore in C++.
Although Statice is billed as an OODB, and it’s based on CLOS, at the core of the system it’s really a datalog-like data model and query language, implemented in a dialect of Lisp, as with datomic.
It’s not unlike or is it alike?
Original title and link: It’s Datomic (©myNoSQL)
via: http://patrickdlogan.tumblr.com/post/18831806269/its-datomic