Ciao port of LPTP

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)

A playground for Ciao

Profiler with cost centers

Tests for ISO Prolog conformance

Documentation Generator for Prolog

The Ciao Preprocessor