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