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.