Ciaoは ISO-Prologを包含する完全な Prologシステムであり、言語の制限と拡張の両方を可能とする新しいモジュラー設計をしています。現在 Ciao拡張機能は、フィーチャ ターム(records)、高階、関数、制約、オブジェクト、永続的述語、分散実行(エージェント)のための良い基盤、並列性等を含んでいます。ライブラリは WWWプログラミング、ソケット、外部インターフェイス（C、Java、Tcl/Tk、リレーショナルデータベース,他）をサポートしています。Emacsベースの環境、スタンドアロンコンパイラ、そしてトップレベルシェルも提供しています。
