hey (author here), so the code isn't available as I haven't decided to open source it or not yet. You are correct to point out that it's a LOT slower than more traditional Prolog due, in part, to a different architecture.
I didn't mean to offend you! It's an impressive project regardless and you're a blessing to the logic community just for putting it out there!
So I'm curious though, fizz seems to be a fairly forward-looking language. You're probably planning on gpu support or maybe something like verified drivers, eventually? I noticed the http example, and ffbn, etc.
Your Twitter profile is littered with like 80s scifi and stuff like that, so a limb I might venture is you appreciate the notion of what AI used to mean for humanity, as a more generalized tool for problem solving.
I wasn't offended and it is a valid question :) And yes, I'm definitely into 80s stuff and GOFAI.
I do plan to have some GPU support (probably by supporting existing ML framework) at some point (sooner if there's demand for it). I also like to explore logical inferences on GPU (but I haven't given it much thought yet).
So I'm curious though, fizz seems to be a fairly forward-looking language. You're probably planning on gpu support or maybe something like verified drivers, eventually? I noticed the http example, and ffbn, etc.
Your Twitter profile is littered with like 80s scifi and stuff like that, so a limb I might venture is you appreciate the notion of what AI used to mean for humanity, as a more generalized tool for problem solving.
I'm very curious what you're up to!