Next: Include Declarations, Previous: Mode Declarations, Up: ref-lod-dcl [Contents][Index]
A declaration
:- SPEC is ANNOTATION.
is treated as a piece of documentation about the predicate specified by SPEC. It has no effect on normal execution, but the information is recorded and can be accessed by e.g. analysis and debugging tools. For details, see lib-is_directives.