SWI-Prolog -- assert_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)

[semidet]assert_predicate_options(:PI, +Arg, +Options, ?New)

As predicate_options(:PI, +Arg, +Options). New is a boolean indicating whether the declarations have changed. If New is provided and false, the predicate becomes semidet and fails without modifications if modifications are required.