ciao-prolog

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

The Ciao Preprocessor

Ciao Prolog for Javascript (w/ WebAssembly)

A playground for Ciao

Ciao mode for Emacs

Web-based UI for Ciao

Docker image for Ciao

Documentation Generator for Prolog

Tests for ISO Prolog conformance

Full development environment (Emacs-based)

Tests for CiaoPP

Additional debugging, testing, and profilings for Ciao