Gankro cites niko as saying Rust trait resolution is basically prolog: https://news.ycombinator.com/item?id=11781923 https://news.ycombinator.com/item?id=117819

Gankro cites niko as saying Rust trait resolution is basically prolog: https://news.ycombinator.com/item?id=11781923 https://news.ycombinator.com/item?id=11781923 (wish he'd cite with a link)