scryer-prolog (cargo): A modern Prolog implementation written mostly in Rust.
Keywords: prolog|prolog-interpreter|prolog-system|prolog-implementation|rust