[det]option(?Option,
+Options, +Default)?- option(max_depth(D), [x(a), max_depth(20)], 10). D = 20. ?- option(max_depth(D), [x(a)], 10). D = 10.
| Option | Term of the form Name(?Value). |
| Options | is a list of Name(Value) or Name=Value
or a dict. |
[det]option(?Option,
+Options, +Default)?- option(max_depth(D), [x(a), max_depth(20)], 10). D = 20. ?- option(max_depth(D), [x(a)], 10). D = 10.
| Option | Term of the form Name(?Value). |
| Options | is a list of Name(Value) or Name=Value
or a dict. |