https://9dok.net/document/zlg10k5l-semantics-of-datalog.html