Reference Manuals

Stable Version

The manuals for CiaoDE 1.14.2 (released on 2011-08-15 11:13:23 +0100) can be consulted or downloaded through the following links:

Ciao Manual
online HTML
Ciao Manual
PDF - 4.61 MB
CiaoPP Manual
online HTML
CiaoPP Manual
PDF - 0.70 MB
LPdoc Manual
online HTML
LPdoc Manual
PDF - 0.82 MB

Development Version

The manuals for CiaoDE 1.15-1781-g328b907 (released on 2013-06-12 16:45:13 +0200) can be consulted or downloaded through the following links:

Ciao Manual
online HTML
Ciao Manual
PDF - 4.65 MB
CiaoPP Manual
online HTML
CiaoPP Manual
PDF - 0.73 MB
LPdoc Manual
online HTML
LPdoc Manual
PDF - 0.83 MB