https://5dok.net/document/7q0jr3vz-real-logic-and-logic-tensor-networks.html