library(concurrency)

Predicates

concurrent(+MaxThreads, +Goals, +Options)

Execute goals concurrently, using multiple threads

concurrent_or(+MaxThreads, +Goals, +Options)

Execute alternative goals concurrently, using multiple threads

engines

Print the currently known engines and their properties (to log_output)

exit_all(+ExitCode)

Post exit(ExitCode) requests to all engines (except self)