[ Reference Manual | Alphabetic Index ]

Programming Utilities

apply_macros
Utilities to apply a predicate to all elements of a list resp. all subterms of a term
config_opts
Library for managing configuration options for libraries and applications
fromonto
Redirect input and output streams in a convenient way
lazy_io
Mapping between lists and I/O streams
lists
Predicates for list manipulation
matrix_util
Predicates to build matrices from lists
module_options
Utility library to manage options within a library module
regex
Interface to POSIX regular expression handling
timeout
Impose time limit for goals
timeout_simple
Impose time limit for goals (special version)
util
Various utility predicates for program development

Generated 2017-07-09 15:37