A modern Prolog implementation written mostly in Rust.
mthom/scryer-prolog has 2,409 GitHub stars.
It currently ranks #13689 daily, #14680 weekly, #17941 monthly by momentum on Trending Repos; its best-ever rank is #5647.