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