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)
[det]
derived_predicate_options
(
+Module
)
Derive predicate option declarations for a module. The derived options are printed to the
current_output
stream.
[det]derived_predicate_options(+Module)[det]derived_predicate_options(+Module)