https://9dok.net/document/yev1g56e-deductive-databases-knowledge-based-systems-sheet-until.html