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