Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ciao-lang
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
acharal
