https://123dok.net/document/yd78l4n1-logic-tensor-networks-deep-learning-logical-reasoning-knowledge.html