A.36 library(thread_pool): Resource bounded thread management
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(thread_pool)).(can be autoloaded)
Source[det]thread_pool_destroy(+Name)
Destroy the thread pool named Name.
Errors
existence_error(thread_pool, Name).
ClioPatria (version V3.1.1-51-ga0b30a5)