The 
Bundle Catalog
This is the official collection of available bundles for Ciao.The links below provide detailed information for each bundle, their dependencies, source repositories, and manuals.
Core bundles
| Name | Description |
|---|---|
| core | Ciao compiler and standard libraries |
| builder | Ciao Builder: build automation for Ciao |
Standard bundles
| Name | Description |
|---|---|
| lpdoc | Documentation Generator |
| ciaopp | The CiaoPP Program Processor |
| ciao_emacs | The Ciao mode for Emacs |
| ciaodbg | Some Debugging, Testing, and Profiling utilities for Ciao |
| alldocs | General Ciao documentation |
| ciaofmt | Automatic source code formatting |
Other bundles
| Name | Description |
|---|---|
| lpmake | |
| yap_libs | Yap libraries for Commons |
| ciao_chr | CHR for Ciao |
| testsuite | A general test suite for Ciao |
| ociao | |
| cleandirs | A Program to Help Cleaning your Directories |
| typeslib | Regular Types Library |
| synch_actions | Synchronize two directories |
| mycin | MYCIN-style inference |
| ciao_tcltk | Bidirectional Tcl/Tk interface for Ciao |
| ciao_ppl | Ciao bindings for the PPL |
| ciao_java | Ciao/Java Bidirectional Interface |
| davinci | |
| ciaomath | Mathematical libraries |
| wui | WUI: Web-based User Interface components for Ciao |
| iso_tests | ISO Prolog tests for Ciao |
| gendot | Graphviz DOT generator |
| poly_clpq | Closed Rational Polyhedra based on CLP(Q) |
| website | The Ciao Website |
| ciaopp_tests | Test for CiaoPP |
| tclp | TCLP - tabled constraint logic programming |
| ciao_gsl | Ciao bindings for GSL |
| provrml | |
| chat80 | Chat-80 port to Ciao |
| ciao_gui | Launcher of Ciao GUI applications |