Stars
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A modern Prolog implementation written mostly in Rust.
A compact, efficient Prolog interpreter written in plain-old C.