Programming Utilities

apply_macros

Utilities to apply a predicate to all elements of a list resp. all subterms of a term

concurrency

Engine utilities and higher-level threading functionality

config_opts

Library for managing configuration options for libraries and applications

error

Utilities for argument type testing and error generation

fromonto

Redirect input and output streams in a convenient way

lambda

This library provides lambda expressions to simplify higher order programming based on call/N.

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