A.30 library(option): Option list processing
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(option): Option list processing
option/3
option/2
select_option/3
select_option/4
merge_options/3
meta_options/3
dict_options/2
Packages
Availability:
:- use_module(
library(option)
).
(can be autoloaded)
[det]
select_option
(
?Option, +Options, -RestOptions, +Default
)
Get and remove
Option
with default value. As
select_option/3
, but if
Option
is not in
Options
, its value is unified with
Default
and
RestOptions
with
Options
.
[det]select_option(?Option,
+Options, -RestOptions, +Default)