| assert_predicate_options/4 | As predicate_options(:PI, +Arg, +Options). |
| check_predicate_option/3 | Verify predicate options at runtime. |
| check_predicate_options/0 | Analyse loaded program for erroneous options. |
| current_option_arg/2 | True when Arg of PI processes predicate options. |
| current_predicate_option/3 | True when Arg of PI processes Option. |
| current_predicate_options/3 | True when Options is the current active option declaration for PI on Arg. |
| derive_predicate_options/0 | Derive new predicate option declarations. |
| derived_predicate_options/1 | Derive predicate option declarations for a module. |
| derived_predicate_options/3 | Derive option arguments using static analysis. |
| predicate_options/3 | Declare that the predicate PI processes options on Arg. |
| retractall_predicate_options/0 | Remove all dynamically (derived) predicate options. |