Scryer Prolog in robotics

[hurufu]

I think that Prolog is underappreciated in robotics, it is an excellent language to control small devices (much better than Python or JS imho). Did anybody try to run Scryer on something small? I don't have such experience with Rust, so I don't have much to say about it, but want to do it someday, I have a bunch of test boards laying around.

Background: https://old.reddit.com/r/prolog/comments/1fl044h/exploring_prolog_and_gpio_control_on_the/

[bakaq]

Having Scryer Prolog as an embeddable library (#2490, #2465) paves the way for we to have #![no_std] support and run Scryer Prolog without an OS (in embedded systems like robots for example) in the future! This is in fact the use case I'm most excited about after Wasm.

Some other related issues:

• Compiling Scryer Prolog for the Raspberry Pi #2061
• Add RISC-V support #1522
• Memory overflows not caught #16 (Extremely important for embedded systems!)

Scryer Prolog is a bit chonky though (the binary is 5.2 MB when compiled with -C opt-level=z and --no-default-features), so in the future we may want to give options to cut libraries and features off so that it can fit in smaller chips, though I don't know if a chip with only KBs of flash could do much with Prolog anyway.

[jjtolton]

I imagine we could design a chip that would take the "abstract" out of the WAM, right?

[bakaq]

Relevant: https://en.wikipedia.org/wiki/Prolog#Implementation_in_hardware