PART III - Assertions and their use

Ciao allows annotating the program code with assertions. Such assertions include type and instantiation mode declarations, but also more general properties as well as comments for autodocumentation in the literate programming style. These assertions document predicates (and modules and whole applications) and can be used by the Ciao tools while debugging, testing, and optimizing the program or library, and by the Ciao documenter to build program or library reference manuals.

Subparts

• The Ciao assertion language
• Declaring regular types
• Basic data types and properties
• Properties which are native to analyzers
• Classical Prolog modes
• ISO-Prolog modes
• Some basic Prolog modes
• Meta-properties
• Documentation comments
• Run-time checking of assertions
• Unit testing
• Using assertions for preprocessing programs