The CiaoPP Program Processor

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
The Ciao Development Team
Edited by:
Francisco Bueno
Manuel Hermenegildo
Pedro López
José Francisco Morales
Germán Puebla
The Ciao Documentation Series
Generated/Printed on: 2023/7/22
Technical Report CLIP 1/06 (first version 8/95).
Version 1.5 (2022/3/2, 20:34:30 CET)

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, program properties to be verified, descriptions of the system libraries, directives provided to guide analysis, etc. are all written in the same assertion language, which is in turn also processed by the Ciao system documentation generator, lpdoc.

CiaoPP is distributed under the GNU general public license.

Note: This is the CiaoPP reference manual. To begin using CiaoPP, we suggest you start by following one or more of the companion CiaoPP tutorials available in the Ciao system documentation.

This documentation corresponds to version 1.5 (2022/3/2, 20:34:30 CET).

Parts of this manual