A modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Ciao is implemented in Prolog (72%) and C (23%).
To install:
brew install emacs
curl https://ciao-lang.org/boot -sSfL | sh
alias ciao="$HOME/.ciaoroot/v1.22.0-m5/build/bin/ciao"
To start a Ciao top level from a terminal, enter ciao
.
Last modified 27 November 2024