Rust's Traits are basically prolog. http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic http://smallcultfollowing.com/babystep

Rust's Traits are basically prolog. http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe...