https://9dok.net/document/y6emnpog-knowledge-based-systems-and-deductive-databases.html