PART VII - Ciao Prolog extensions

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 library;
global variables;
setarg and undo;
delaying predicate execution;
active modules;
breadth-first execution;
iterative deepening-based execution;
constraint logic programming;
object oriented programming.