4 ms·
Congrats on shipping! I cannot wait to try it out, how does this compare to Scallop? https://scallop-lang.github.io/ https://scallop-lang.github.io/ https://ne
by melony 5y ago
Congrats on shipping! I cannot wait to try it out, how does this compare to Scallop?
https://scallop-lang.github.io/ https://scallop-lang.github.io/
https://news.ycombinator.com/item?id=31060265 https://news.ycombinator.com/item?id=31060265
- LukasZahradnik 5y agoThanks! If you need any help with your trying out or have some ideas/bug reports, let us know on GitHub. Scallop seems to be similar to PyNeuraLogic in the sense it extends logic programs with numerical parameters. The difference here is that PyNeuraLogic does not necessarily assign a probabilistic interpretation to values and parameters (which Scallop does, from my understanding).
- versteegen 5y agoSuper 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 5y 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.