A.30 library(option): Option list processing
All Application Manual Name SummaryHelp

Availability::- use_module(library(option)).(can be autoloaded)
Source[semidet]select_option(?Option, +Options, -RestOptions)
Get and remove Option from an option list. As option/2, removing the matching option from Options and unifying the remaining options with RestOptions.
ClioPatria (version V3.1.1-51-ga0b30a5)