@thezerobit ow! You make compiling Mercury sound like compiling Rust. Maybe it could do with a no-constraint-programming build for limited use-cases?

I haven't hit SWI-Prolog's limits in my short time with Prolog.