search

LukasZahradnik / PyNeuraLogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs
https://pyneuralogic.readthedocs.io/
MIT License
281 stars 18 forks source link

Experimental mixed combinations #60

Closed LukasZahradnik closed 1 month ago

LukasZahradnik commented 5 months ago

Works only for + (sum), * (elprod), and @ (prod) for now

Added support for references:

R.a(V.X) <= (R.b(V.X) + R.c(1) * (d := R.d(2)) * d + d * d)

This works! There will be actually only three literals in the body