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.