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