[ 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
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
util
Various utility predicates for program development

Generated 2009-02-24 09:46