A.60 library(thread_pool): Resource bounded thread management
All Application Manual Name SummaryHelp

Availability::- use_module(library(thread_pool)).(can be autoloaded)
Source[nondet]thread_pool_property(?Name, ?Property)
True if Property is a property of thread pool Name. Defined properties are:
options(Options)
Thread creation options for this pool
free(Size)
Number of free slots on this pool
size(Size)
Total number of slots on this pool
members(ListOfIDs)
ListOfIDs is the list or threads running in this pool
running(Running)
Number of running threads in this pool
backlog(Size)
Number of delayed thread creations on this pool