swi_option:select

Did you know ...

Search Documentation:

Predicate select_option/3

select_option(?Option, +Options, -RestOptions) is semidet: 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.