GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust. https://github.com/mthom/scryer-prolog