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