https://9dok.net/document/q7w7j1kn-datalog-optimization.html