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