Documentation

Ciao is a Prolog system that includes many advanced features and extensions. As introductory material we recommend the following resources:

The Art of Prolog (Open Access from MIT Press).
Course material in Computational Logic: Pure LP, Prolog, Efficiency, CLP, Theory, etc.
Warren's Abstract Machine: A Tutorial Reconstruction for the foundations of Prolog implementation (recommended read for those interested in lower-level details of the operational semantics of Prolog and common optimizations performed by Prolog compilers).

Reference Manuals

The following are the reference manuals for the main Ciao components:

ciao: compiler, toplevel/debugger, core libraries, extensions, etc.
ciao_builder: build system.
lpdoc: documentation generator.
ciaopp: analysis, verification, (static) debugging, and optimization.
ciaodbg: testing, profiling, and (dynamic) embedded debugging.
ciao_playground: the Ciao playground

You can browse the available bundles and their manuals in the bundle catalog.

Some Tutorials and Presentations

An overview paper on Ciao.
Some tutorial slides on Ciao features (older, but still valid).
CiaoPP tutorials groups a number of interactive tutorials meant to help when starting to use CiaoPP.
Other introductory slides on Ciao, CiaoPP.
Original tutorial slides on LPdoc.

Forums and mailing lists

The following forums and mailing lists are available:

discussions at GitHub (new!)
<ciao-users@cliplab.org> (archives)
Ciao questions (in English) whose answer may be of general interest, announcements of relevant updates, bug fixes, etc.
You can subscribe to this mailing list.

Publications

The Ciao System incorporates decades of results in programming languages research. See our list of publications available on-line and their references.