Is it possible write a datascript/datalog binding?

I known the type inference is very hard