Go to the first, previous, next, last section, table of contents.


PART V - Annotated Prolog library (assertions)

Ciao allows to annotate the program code with assertions, much in the style of the literate programming. Assertions can be used to document predicates (and modules and whole applications) and will be used by the Ciao preprocessor to debug and optimize the program, and by the Ciao documenter to build the program manual.


Go to the first, previous, next, last section, table of contents.