A.37.3.2 Reflective access to options
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(predicate_options): Declare option-processing of predicates
Improving on the current situation
Reflective access to options
predicate_options/3
assert_predicate_options/4
current_predicate_option/3
check_predicate_option/3
current_option_arg/2
current_predicate_options/3
check_predicate_options/0
derive_predicate_options/0
retractall_predicate_options/0
derived_predicate_options/3
derived_predicate_options/1
Packages
Availability:
:- use_module(
library(predicate_options)
).
(can be autoloaded)
[nondet]
derived_predicate_options
(
:PI, ?Arg, ?Options
)
Derive option arguments using static analysis. True when
Options
is the current
derived
active option declaration for
PI
on
Arg
.
[nondet]derived_predicate_options(:PI,
?Arg, ?Options)[nondet]derived_predicate_options(:PI,
?Arg, ?Options)