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

Availability::- use_module(library(option)).(can be autoloaded)
Source[semidet]option(?Option, +Options)
Get an Option from Options. Fails silently if the option does not appear in Options. If Option appears multiple times in Options, the first value is used.
Option Term of the form Name(?Value).
Options is a list of Name(Value) or Name=Value or a dict.
ClioPatria (version V3.1.1-51-ga0b30a5)