SWI-Prolog -- select

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

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

[semidet]select_option(?Option, +Options, -RestOptions)

Get and remove Option from Options. As option/2, removing the matching option from Options and unifying the remaining options with RestOptions. If Option appears multiple times in Options, the first value is used. Note that if Options contains multiple terms that are compatible to Option, the first is used to set the value of Option and the duplicate appear in RestOptions.