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]
current_option_arg
(
:PI, ?Arg
)
True when
Arg
of
PI
processes predicate options. Which options are processed can be accessed using
current_predicate_option/3
.
[nondet]current_option_arg(:PI,
?Arg)True when Arg of PI processes predicate options.
Which options are processed can be accessed using current_predicate_option/3.