A.19 library(option): Option list processing
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(option)).(can be autoloaded)
Source[det]select_option(?Option, +Options, -RestOptions, +Default)
Get and remove Option with default value. As select_option/3, but if Option is not in Options, its value is unified with Default and RestOptions with Options.
ClioPatria (version V3.1.1-21-gb8003bb)