login
A.20.3.2 Reflective access to options
AllApplicationManualNameSummaryHelp

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.
Powered by SWI-Prolog 6.3.15