@huxley If you decide to open-source doxa
and decide it's a project you will continue to work on actively, do let us know if you'd like it added to https://clojurelog.github.io/
as soon as I see that it is usable, I will remind myself. for now it is more a collection of loose ideas than a serious thing
I also intend to write more tests and bring the functionality as close as possible to a normal datalog