The Ciao Preprocessor

A Program Analysis, Verification, Debugging, and Optimization Tool
The Computational logic, Languages,
Implementation, and Parallelism (CLIP) Lab
School of CS, T. U. of Madrid (UPM)
IMDEA Software Institute
Edited by:
Francisco Bueno
Manuel Hermenegildo
Pedro López
Germán Puebla
The Ciao Documentation Series
Generated/Printed on: 2013/6/19
Technical Report CLIP 1/06 (first version 8/95).


CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm program development environment. CiaoPP can perform a number of program debugging, analysis, and source-to-source transformation tasks on (Ciao) Prolog programs. These tasks include:

The information generated by analysis, the assertions in the system specifications are all written in the same assertion language, which is in turn also used by the Ciao system documentation generator, lpdoc.

CiaoPP is distributed under the GNU general public license.

Parts of this manual