neuralogic (pypi): PyNeuraLogic lets you use Python to create Differentiable Logic Programs.
Keywords: deep-learning|differentiable-programming|geometric-deep-learning|graph-neural-networks|logic-programming|machine-learning|python|pytorch|relational-learning