[ Reference Manual | Alphabetic Index ]

Data Structures

config_opts
Library for managing configuration options for libraries and applications
constraint_pools
Support for the creation of constraint pools
graph_algorithms
Collection of graph algorithms
hash
Hash table library
heaps
Implement heaps in Prolog
linearize
Normalizers for arithmetic expressions
list_collection
Collection of lists library
lists
Predicates for list manipulation
lists_of_structures
Operations on lists of structures
listut
List processing utilities
m_map
The `map' abstract data type.
m_tree234
A map (dictionary) implemented using 2-3-4 trees
matrix_util
Predicates to build matrices from lists
mdd_support
Operations on Multi-Valued Decision Diagrams
notify_ports
One-to-many and many-to-many notification ports
ordset
Ordered set manipulation utilities
queues
define queue operations
Recorded Database
The record-family of built-ins to store data across failures
shadow_cons
A library implementing shadow, or 'local', constraint stores
Non-logical Variables, Arrays, Bags, Shelves and Stores
Built-ins to store data across backtracking
var_name
Allows variables to be given stable and unique names.

Generated 2022-09-03 14:26