https://en.m.wikipedia.org/wiki/Datomic
https://en.m.wikipedia.org/wiki/Datalog
It's a distributed database implementation of Prolog.
https://en.m.wikipedia.org/wiki/Datomic
https://en.m.wikipedia.org/wiki/Datalog
It's a distributed database implementation of Prolog.