A modern Prolog implementation written mostly in Rust. - View it on GitHub