SWI-Prolog -- current_predicate

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_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.