https://123dok.net/document/q2n7okjr-tractable-query-answering-optimization-extensions-weakly-sticky-datalog.html