You can build your own foward-chaining datalog compiler pretty easily - http://scattered-thoughts.net/blog/2016/10/11/a-practical-relational-query-compiler-in-5

You can build your own foward-chaining datalog compiler pretty easily - http://scattered-thoughts.net/blog/2016/10/11/a-practical-relational-query-compiler-in-500-lines/ http://scattered-thoughts.net/blog/2016/10/11/a-practical-re.... I did it in-memory only, but that same design would work with any external storage that supports range queries efficiently.