3 ms·
A bit over my head - but can't Prolog achieve similar results?
by JFingleton 2y ago
A bit over my head - but can't Prolog achieve similar results?
- sgt101 2y agoAnything can do anything else given enough time and power, but I think: no, not without shenanigans. This has primitives for interfacing to nn's including foundation models so you can ask it (for example) to label images of cats and dogs using clip, then you can reason over the results. So it's intended to combine nn reasoning and logical reasoning cleanly.
- nurettin 2y agoScallop's examples have syntax for probabilistic programming, so probably not.