swi_option:option/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(option): Option list processing
- Packages

Availability::- use_module(library(option)).(can be autoloaded)

[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.

History

Enhanced in 8.5.7 (👉4bc0007) option/2: verify the Options argument.