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.