[erikj]

You can use embedded Prolog to implement type inference in your compiler. AFAIK that's how it's done in the Rust compiler.