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