I may have some interesting and weird news - I found out how to drive SWI-Prolog from Javascript with WASM. So... maybe a Spock version that runs in the browser?
Yep, it's possible..... quite bizarre, but possible.
amazing! But how? I didn't even know that swi could be compiled to WASM, last time people suggested tau prolog for a prolog running in the browser. But SWI has so much more stuff 😍
Yes! Also, it's WAY FASTER than Tau Prolog! The code is over here: https://gitlab.com/mauricioszabo/spock/-/blob/js-version/src/spock/swi.cljs. It's still at the beginning for now, but I intend to make it easier to use 🙂