Hacker News Reader

The language discussed in TFA appears to be Datomic's proprietary Clojure DSL, but has nothing to do with Datalog/Prolog.

It is a datalog dialect, and there a multiple open-source implementations: https://clojupedia.org/#/page/Datalog