PART VI - Ciao library miscellanea

This part documents several Ciao libraries which provide different useful additional functionality. Such functionality includes performing operating system calls, gathering statistics from the Ciao engine, file and filename manipulation, error and exception handling, fast reading and writing of terms (marshalling and unmarshalling), file locking, issuing program and error messages, pretty-printing programs and assertions, a browser of the system libraries, additional expansion utilities, concurrent aggregates, graph visualization, etc.

Subparts

• Analytic benchmarks
• Parse and return command-line options
• llists (library)
• Structured stream handling
• Dictionaries
• String processing
• Printing status and error messages
• Accessing and redirecting the stream aliases
• Reading terms from strings
• ctrlcclean (library)
• errhandle (library)
• Fast reading and writing of terms
• File path names
• Symbolic filenames
• File/Stream Utilities
• File locks
• Lists and conjunctions and disjunctions
• Term manipulation utilities
• Term checking utilities
• Sets of variables in terms
• Cyclic terms handling
• A simple pretty-printer for Ciao programs
• Pretty-printing assertions
• The Ciao library browser
• Code translation utilities
• Low-level concurrency/multithreading primitives
• All solutions concurrent predicates
• The socket interface
• Sockets I/O
• Additional operating system utilities
• Processes (multitasking)
• Shell-style pathname pattern expansion
• Operations on source trees
• File Archiver
• Text Templates
• The Ciao Make Package
• Predicates Available When Using The Make Package