Did you know ... Search Documentation:
Pack xtools -- prolog/assrt_metainference.pl
PublicShow source
 infer_meta_assertions is det
Collects meta-predicate specifiers that can be inferred from assertions and make them available through inferred_meta_predicate/2. This is intended to be executed before the inference of meta predicates via prolog_codewalk.