Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/debuggery/first.pl
PublicShow source
 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)
 set_varname_list(Arg1)
 on_xf_cont(Arg1)
 add_var_to_env(Arg1, Arg2)
 qdmsg(Arg1)
 getenv_safe(Arg1, Arg2, Arg3)
 cnas(Arg1, Arg2, Arg3)
 export_if_noconflict_mfa(Arg1, Arg2)
 export_if_noconflict_mfa(Arg1, Arg2, Arg3)