2 ms·
Super interesting! I think the time for this idea has come. I'm also working on a similar logic programming system with fractional value assignments, in Python,
by versteegen 4y ago
Super interesting! I think the time for this idea has come. I'm also working on a similar logic programming system with fractional value assignments, in Python, though without end-to-end differentiability as a goal. I'm amused to see you renamed "atom" to "relation" just a few days ago; I've found settling on clear and exact terminology to be especially hard! I'll definitely study PyNeuraLogic.
- LukasZahradnik 4y agoI am looking forward to your project. It sounds interesting, and hopefully, you will share it here. I agree. Determining the best and exact naming is hard. To be clear, "atom" was renamed to "relation" a few months ago. However, the documentation still contained occasional references to "atom" in the text - which was fixed a few days ago, as you mentioned. If you need any help, let us know on Github.