PART IV - Language extensions

Author(s): The Ciao Development Team.

The libraries documented in this part extend and modify the Ciao language in several different ways. The extensions include:

• restricted languages (pure Prolog programming);
• constraint logic programming;
• multi-paradigm features (higher-order, functional syntax, feature terms or records, global variables, mutable terms, etc.);
• alternative search and evaluation strategies (delaying predicate execution, undo goals, breadth-first execution, iterative deepening-based execution);
• concurrency and parallel execution (active modules, parallel programming (e.g., &-Prolog style)).

Subparts

• No-prelude
• Pure Prolog package
• Higher-order support
• Traits
• Terms with named arguments -records/feature terms
• Functional notation
• Definite Clause Grammars
• Backtrackable global variables
• Mutable terms
• Multiple argument indexing
• Block declarations
• Delaying predicates (freeze)
• Delaying predicates (when)
• Andorra execution
• Call on determinate
• Lazy evaluation
• Breadth-first execution
• Iterative-deepening execution
• Miscellaneous predicates
• Aggregates: gathering predicate solutions
• Fast/concurrent update of facts
• Dynamic predicates (not source preserving)
• Dynamic predicates (source preserving)
• Persistent predicate database
• Filed predicates
• Low-level concurrency/multithreading primitives
• Aggregates (concurrency-safe)
• Active modules
• Constraint programming over rationals
• Constraint programming over reals
• Constraint programming over finite domains (new)
• Tabling execution
• Attributed variables
• C Foreign language interface

Generated with LPdoc using Ciao