PART VII - Ciao extensions
Author(s): The CLIP Group.The libraries documented in this part extend the Ciao language in several different ways. The extensions include:
- pure Prolog programming (well, this can be viewed more as a restriction than an extension);
- feature terms or records (i.e., structures with names for each field);
- parallel programming (e.g., &-Prolog style);
- functional syntax;
- higher-order;
- global variables;
- setarg and undo;
- delaying predicate execution;
- active modules;
- breadth-first execution;
- iterative deepening-based execution;
- constraint logic programming;
- object oriented programming.
Subparts
- Pure Prolog package
- Multiple Argument Indexing
- Higher-order
- Higher-order predicates
- Terms with named arguments -records/feature terms
- Functional notation
- global (library)
- Andorra execution
- Call on determinate
- Runtime predicates for call on determinate
- Miscellaneous predicates
- Mutable Terms
- Block Declarations
- Delaying predicates (freeze)
- Delaying predicates (when)
- Active modules (high-level distributed execution)
- Agents
- Breadth-first execution
- Iterative-deepening execution
- Constraint programming over rationals
- Constraint programming over reals
- Fuzzy Prolog
- Object Oriented Programming
