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