[det]thread_create_in_pool(+Pool,
:Goal, -Id, +Options)Create a thread in Pool. Options overrule default
thread creation options associated to the pool. In addition, the
following option is defined:
- wait(+Boolean)
- If
true (default) and the pool is full, wait until a member
of the pool completes. If false, throw a resource_error.
- Errors
- -
resource_error(threads_in_pool(Pool)) is raised if wait
is false or the backlog limit has been reached.
- existence_error(thread_pool, Pool) if Pool
does not exist.
