Anything 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 found

Anything 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.