[nondet]thread_pool_property(?Name,
?Property)- 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