https://123dok.net/document/q2n5oepq-a-predicate-transition-net-for-evaluating-queries-against-rules-in-a-dbms.html