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

• Library Paths for Ciao Bundles
• 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 name manipulation
• 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
• The Ciao Make Package
• Predicates Available When Using The Make Package
• Additional operating system utilities