Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/pdt_server/org.cs3.pdt.builder_3.1.2.201603251848/prolog-src/analyzer/term_based_metapred_finder.pl
PublicShow source

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 infer_meta_arguments_for(Arg1, Arg2, Arg3)
 find_meta_pred_args_in_clause(Arg1, Arg2, Arg3)