rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver