A modern Prolog implementation written mostly in Rust.
An open source Prolog interpreter in JavaScript
Ciao is a modern Prolog implementation that builds up from a logic-based...
A compact, efficient Prolog interpreter written in plain-old C.