Chalk is a PROLOG-ish interpreter written in Rust, intended eventually for use in the rustc compiler. Chalk recasts Rust's trait system in terms of logic programming. Its goal is to be an executable, highly readable specification of the Rust trait system.

https://github.com/rust-lang/chalk

https://rust-lang.github.io/rustc-guide/traits/chalk-overvie...