[jaytaylor]

For the uninitiated (like me):

https://en.m.wikipedia.org/wiki/Datomic

https://en.m.wikipedia.org/wiki/Datalog

It's a distributed database implementation of Prolog.