PyNeuraLogic lets you use Python to create Differentiable Logic Programs
https://github.com/LukasZahradnik/PyNeuraLogic
latest