<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - PART V - Annotated Prolog library (assertions)</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_57.html">previous</A>, <A HREF="ciao_59.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC265" HREF="ciao_toc.html#TOC265">PART V - Annotated Prolog library (assertions)</A></H1> <P> <STRONG>Author(s):</STRONG> The CLIP Group. <P> Ciao allows <EM>annotating</EM> the program code with <EM>assertions</EM>. Such assertions include <A NAME="IDX3650"></A> type and <A NAME="IDX3651"></A> instantiation mode declarations, but also more general properties as well as comments in the style of the <EM>literate programming</EM>. These assertions document predicates (and modules and whole applications) and can be used by the Ciao preprocessor/compiler while debugging and optimizing the program or library, and by the Ciao documenter to build the program or library reference manual. <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_57.html">previous</A>, <A HREF="ciao_59.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>