Ciao Prolog

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

Website | Website

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:

  1. Install emacs. In macOS, this can be done by entering brew install emacs
  2. Enter curl https://ciao-lang.org/boot -sSfL | sh
  3. Create an alias to the executable. For example:
alias ciao="$HOME/.ciaoroot/v1.22.0-m5/build/bin/ciao"

To start a Ciao top level from a terminal, enter ciao.

Includes a WebAssembly compilation target based on Emscripten. Ciao Prolog is a modern Prolog implementation designed to be portable, extensible and modular. Check the playground here.

Tags: language   logic   prolog   web assembly  

Last modified 15 November 2025