https://ciao-lang.org
Earth A general purpose, multi-paradigm programming language in the Prolog family
The Ciao Programming Language
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ciao-lang
