A playground for Ciao

Documentation Generator for Prolog

Ciao Prolog for Javascript (w/ WebAssembly)

The Ciao Preprocessor

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

Full development environment (Emacs-based)

Profiler with cost centers

Tests for ISO Prolog conformance