pi_to_head_l(?Head, ?HeadPI) is semidet

Predicate Indicator Converted To Head (list Version).

 alldiscontiguous is semidet

Alldiscontiguous.

 source_context_module(?CM) is semidet

Source Context Module.

 on_x_fail(:Goal) is semidet

If there If Is an exception in :Goal just fail

 match_predicates(?MSpec, -MatchesO) is semidet

Match Predicates.

 match_predicates(?Spec, -M, -P, -F, -A) is semidet

Match Predicates.

 if_may_hide(:GoalG) is semidet

If May Hide.

 mpred_trace_less(?W) is semidet

Managed Predicate Trace less.

 mpred_trace_none(?W) is semidet

Managed Predicate Trace none.

 mpred_trace_nochilds(?W) is semidet

Managed Predicate Trace nochilds.

 mpred_trace_childs(?W) is semidet

Managed Predicate Trace childs.

 term_to_string(?IS, ?I) is semidet

Hook To [pldoc_html:term_to_string/2] For Module Logicmoo_util_first. Term Converted To String.

 mustvv(:GoalG) is semidet

Mustvv.

 unnumbervars(?X, ?Y) is semidet

Unnumbervars.

 unnumbervars_and_save(?X, ?YO) is semidet

Unnumbervars And Save.

 unnumbervars4(TermIn, VsIn, NewVs, TermOut) is det

Unnumbervars And Save.

 add_newvars(:TermVs) is semidet

Add Newvars.

 add_newvar(?VALUE1, ?V) is semidet

Add Newvar.

 remove_grounds(:TermVs, :TermVs) is semidet

Remove Grounds.

 renumbervars_prev(?X, ?Y) is semidet

Renumbervars Prev.

 renumbervars1(?X, ?Y) is semidet

Renumbervars Secondary Helper.

 renumbervars1(:TermV, ?IVs, :TermX, ?Vs) is semidet

Renumbervars Secondary Helper.

 safe_numbervars(?E, ?EE) is semidet

Safely Paying Attention To Corner Cases Numbervars.

 safe_numbervars(?EE) is semidet

Safely Paying Attention To Corner Cases Numbervars.

 register_var(:TermN, ?IN, ?OUT) is semidet

Register Variable.

 register_var(?N, ?T, ?V, ?OUTO) is semidet

Register Variable.

 register_var_0(?N, ?T, ?V, ?OUT) is semidet

register Variable Primary Helper.

 samify(?V, ?V0) is semidet

Samify.

 var_to_name(?V, :TermN, ?N) is semidet

Variable Converted To Name.

 name_to_var(?N, :TermT, ?V) is semidet

Name Converted To Variable.

 snumbervars(?Term) is semidet

Snumbervars.

 snumbervars(?Term, ?Start, ?End) is semidet

Snumbervars.

 snumbervars(?Term, ?Start, ?End, ?List) is semidet

Snumbervars.

 module_predicate(?ModuleName, ?P, ?F, ?A) is semidet

Module Predicate.

 user_ensure_loaded(?What) is semidet

User Ensure Loaded.

 user_use_module(?What) is semidet

User Use Module.

 export_all_preds is semidet

Export All Predicates.

 export_all_preds(?ModuleName) is semidet

Export All Predicates.

 module_predicate(?ModuleName, ?F, ?A) is semidet

Module Predicate.

 module_predicates_are_exported is semidet

Module Predicates Are Exported.

 module_predicates_are_exported(?Ctx) is semidet

Module Predicates Are Exported.

 module_predicates_are_exported0(?ModuleName) is semidet

Module Predicates Are Exported Primary Helper.

 export_if_noconflict(?M, :TermF) is semidet

Export If Noconflict.

:- redefine_system_predicate(system:export_if_noconflict/2),abolish(system:export_if_noconflict/2).

 module_predicates_are_not_exported_list(?ModuleName, ?Private) is semidet

Module Predicates Are Not Exported List.

 arg_is_transparent(:GoalArg) is semidet

Argument If Is A Transparent.

 module_meta_predicates_are_transparent(?ModuleName) is semidet

Module Meta Predicates Are Transparent.

 all_module_predicates_are_transparent(?ModuleName) is semidet

All Module Predicates Are Transparent.

 quiet_all_module_predicates_are_transparent(?ModuleName) is semidet

Quiet All Module Predicates Are Transparent.

Undocumented predicates

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

 put_variable_names(Arg1)

 nput_variable_names(Arg1)

 check_variable_names(Arg1, Arg2)

 get_varname_list(Arg1)

 cfunctor(Arg1, Arg2, Arg3)

 set_varname_list(Arg1)

 on_xf_cont(Arg1)

 dupe_term(Arg1, Arg2)

 maybe_fix_varnumbering(Arg1, Arg2)

 add_var_to_env(Arg1, Arg2)

 getenv_safe(Arg1, Arg2, Arg3)

 reset_IO

 cnas(Arg1, Arg2, Arg3)

 zotrace(Arg1)

 export_if_noconflict_mfa(Arg1, Arg2)

 export_if_noconflict_mfa(Arg1, Arg2, Arg3)