PART VI - Data structures and algorithms

This part includes some useful data structures and algorithms, used frequently in programs or in the Ciao system itself.

Subparts

• List processing
• Common higher-order predicates
• Sorting lists
• Lists of lists
• Identity lists
• Lists of numbers
• String processing
• A fuzzy search and word metric library
• Diff algorithm
• Dictionaries
• Variable name dictionaries
• Extendable arrays with logarithmic access time
• Association between key and value
• Key-value lists
• Graphs
• Unweighted graph-processing utilities
• Labeled graph-processing utilities
• Queues
• Set operations
• Bit-coded-set operations
• Lists of sets