Table of Contents
- Introduction
- Generating and accessing manuals
- Writing documentation
- Documentation mark-up language and doc declarations
- The Ciao assertion language
- Types and properties related to assertions
- Declaring regular types
- Basic data types and properties
- Properties which are native to analyzers
- Properties related to sharing/aliasing, groundness
- Properties related to determinacy, failure, choice-points
- Properties related to cardinality and exact solutions
- Properties related to exceptions and signals
- Properties related to side effects
- Properties related to polyhedral constraints
- Properties related to data sizes, cost, termination
- Meta-properties
- An example - Documenting a library module