- current_predicate_options(:PI, ?Arg, ?Options) is nondet
- 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.