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

Availability::- use_module(library(option)).(can be autoloaded)
Source[semidet]option(?Option, +OptionList)
Get an Option from OptionList. OptionList can use the Name=Value as well as the Name(Value) convention. Fails silently if the option does not appear in OptionList.
Option Term of the form Name(?Value).
ClioPatria (version V3.1.1-51-ga0b30a5)