[All bundles]


Version: 1.2.0
Manuals: ciaopp
Source: repository

The Ciao Preprocessor

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.