mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
2.5k stars167forks487issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
42 of 74outside PRs merged (57%)
checked