Ciao - Assertions and their Use
Summary
Ciao - Assertions and their Use explains how the Ciao system supports annotating Prolog code with assertions, including types, instantiation modes, and other properties, to aid debugging, testing, optimization, and autodocumentation. It also describes run-time checking, unit testing, and using assertions for preprocessing programs, with multiple documentation sections referenced.