PART II - The Ciao basic language (engine)
Author(s): The CLIP Group.This part documents the Ciao basic builtins. These predefined predicates and declarations are available in every program, unless the pure package is used (by using a :- module(_,_,[pure]). declaration or :- use_package(pure).). These predicates are contained in the engine directory within the lib library. The rest of the library predicates, including the packages that provide most of the ISO-Prolog builtins, are documented in subsequent parts.
Subparts
- The module system
- Directives for using code in other files
- Control constructs/predicates
- Basic builtin directives
- Basic data types and properties
- Extra-logical properties for typing
- Basic term manipulation
- Comparing terms
- Basic predicates handling names of constants
- Arithmetic
- Basic file/stream handling
- Basic input/output
- Exception and Signal handling
- Changing system behaviour and various flags
- Fast/concurrent update of facts
- Extending the syntax
- Message printing primitives
- Attributed Variables Package
- Attributed variables (deprecated)
- Internal Runtime Information
- Conditional Compilation
- Other predicates and features defined by default
