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