Update: I am working on replacing the current rule resolution algorithm, which is fine, but cannot take advantage of the recent gains in query optimization. It is also slower than the state of art Datalog engine such as XSB, which I hope to beat. After that, I will work on materialized views and incremental maintenance. We will then add a few minor improvements, e.g. JSON based API. That would be the plan for a 1.0.0 release.