PART VII - Standard libraries

This part documents the standard Ciao library. The predicates in this library are part of the core Ciao system. In particular, this library includes a large subset of the ISO Prolog standard predicates and also of the additional predicates normally provided by most classical Prolog systems, in addition to Ciao-specific extensions.

In general, these modules and predicates have to be imported explicitly as indicated in the corresponding usage section. However, if a module/2 declaration is used (or in user files without a starting use_package/1 declaration) many of them are loaded by default. See Classic Prolog and The module system for more details.

Subparts

• Stream handling and operations
• Stream utilities
• Tokenizer
• Term input
• Term input from strings
• Term output
• Defining operators
• Formatted output
• Reading/writting list of terms
• Message printing primitives
• Runtime system control and flags
• Runtime system information
• Assertion processing library
• Dynamic loading and compilation
• Customizing path aliases
• Operating system utilities
• File path names
• Processes (multitasking)
• Logged processes