Top 2 prolog-compiler open source projects

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.