@Amir Gur @altavir this is not directly the application of kotlin to big data -- however, my involvement with this has been to encourage implementation towards large first-order-predicate logic systems over the years. I'm casually refactoring this to Kotlin with the main author's blessing. https://kotlinlang.slack.com/archives/C2YH04E3S/p1571505768009700

I am not sure, what is the purpose of #opensource. I thing that such things should be posted to #feed, it has much more subscribers.

it's not yet a contender for data science, but NARS is a respected reasoner approach, and this particular codebase makes for a fascinating kotlin refactor.