GitHub repository: robstolarz/scryer-prolog
Description: A modern Prolog implementation written mostly in Rust.