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