You can use dicts as OptionList! See also dict_options/2
?- option(foo(X),_{foo:bar}).
X = bar.
| Did you know ... | Search Documentation: |
| Predicate option/2 |
[semidet]option(?Option,
+Options)| Option | Term of the form Name(?Value). |
| Options | is a list of Name(Value) or Name=Value
or a dict. |
You can use dicts as OptionList! See also dict_options/2
?- option(foo(X),_{foo:bar}).
X = bar.