Reference Manuals
Stable Version
The manuals for CiaoDE 1.14.2 (r13646) (released on 2011-08-15 11:13:23) 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.0 (r14703) (released on 2012-05-21 17:02:10) can be consulted or downloaded through the following links:
| Ciao Manual online HTML | | Ciao Manual PDF - 4.64 Mb |
| CiaoPP Manual online HTML | | CiaoPP Manual PDF - 0.73 Mb |
| LPdoc Manual online HTML | | LPdoc Manual PDF - 0.84 Mb |
