[nondet]current_predicate_options(:PI,
?Arg, ?Options)True when Options is the current active option declaration
for
PI on Arg. See predicate_options/3
for the argument descriptions. If PI is ground and refers to
an undefined predicate, the autoloader is used to obtain a definition of
the predicate.