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

Full development environment (Emacs-based)

A playground for Ciao

Tests for ISO Prolog conformance

Documentation Generator for Prolog

The Ciao website