Pack rtrace -- prolog/listing

name_variable(+Var, +Name) is det: Assign a name to a variable. Succeeds silently if Var is not a variable (anymore).
variable_name(+Var, -Name) is semidet: True if Var has been assigned Name.
vmust(:GoalG) is semidet: Vmust.
dcall_when(:PRED2P, ?In, ?Out) is semidet: Dirrectly Call When.
no_varnaming(:GoalG) is semidet: No Varnaming.
all_different_vals(+P2, ?Term) is semidet: All Different Vals.
all_different_vars(?A) is semidet: All Different Variables.
all_different_vals(:PRED2, +Term) is semidet: All Different Vals.
v_dif_rest(?V, ?REST) is semidet: V not member_eq Rest.
not_member_eq_local(?E, ?REST) is semidet: Not Member Using (==/2) (or =@=/2) ).
dif_matrix(?V, ?REST) is semidet: V dif Rest of
make_subterm_path(?Sub, ?Term, ?PathO) is semidet: Make Subterm Path.
subterm_path(?Sub, ?Term, :TermARG3) is semidet: Subterm Path.
get_clause_vars(?CV) is semidet: Get Clause Variables.
get_clause_vars_nontraced(:TermMHB) is semidet: Get Clause Variables Nontraced.
del_attr_type(?Type, ?Var) is semidet: Remove/erase Attr Type.
get_clause_vars(?MHB, ?Vs) is semidet: Get Clause Variables.
get_clause_vars_copy(?HB, ?HB) is semidet: Get Clause Variables Copy.
get_clause_vars_hb_int(?H, ?B) is semidet: Get Clause Variables Head+body Int.
atom_subst_frak_0(?A, ?F, ?R, ?K) is semidet: atom subst frak Primary Helper.
replace_in_string_frak_0(?F, ?R, ?A, ?K) is semidet: replace in string frak Primary Helper.
fix_varcase_name(?N, ?VN) is semidet: Fix Varcase Name.
no_vars_needed(?H) is semidet: No Variables Needed.
try_get_inner_vars(?H) is semidet: Try Get Inner Variables.
term_slots(?Term, ?Slots) is semidet: Hook To [term_slots/2] For Module Logicmoo_varnames. Term Slots.
term_singletons(?A, ?Vs) is semidet: Hook To [term_singletons/2] For Module Logicmoo_varnames. Term Singletons.
term_singletons(?Term, ?NonSingle, ?Singles) is semidet: Hook To [term_singletons/3] For Module Logicmoo_varnames. Term Singletons.
term_singletons(:TermFml, ?NS, ?NS, ?S, ?S) is semidet: Hook To [term_singletons/5] For Module Logicmoo_varnames. Term Singletons.
call_return_tf(:GoalCall, ?TF) is semidet: Call Return True/false.
try_get_head_vars(?H) is semidet: Try Get Head Variables.
get_random_headvars(?H) is semidet: Get Random Headvars.
get_random_headvars(?H, ?F, ?A, ?N) is semidet: Get Random Headvars.
get_1head_arg_var(?H, ?F, ?N, ?A, ?HA) is semidet: Get 1head Argument Variable.
arg_varname(+P, ?N, ?Name) is semidet: Argument variable name.
try_get_body_vars(:TermH) is semidet: Try Get Body Variables.
set_varname(+How, ?B) is semidet: Set Varname.
set_varname(+How, ?N, ?V) is semidet: Set Varname.
write_functor(?N, ?V) is semidet: Write Functor.
save_clause_vars(?MHB, ?Vs) is semidet: Save Clause Variables.
save_clause_vars(_,[]):-!.
save_clause_vars(?MHB, ?Vs, :TermWhy) is semidet: Save Clause Variables.
locate_clause_ref(?M, ?H, ?MB, ?B, ?ClauseRef) is semidet: Locate Clause Ref.
clause_ref_vars(?ClauseRef, ?Was) is semidet: Clause Ref Variables.
clause_ref_file(?ClauseRef, ?File) is semidet: Clause Ref File.
save_to_clause_ref(?ClauseRef, ?Vs, ?Why) is semidet: Save Converted To Clause Ref.
save_clause_vars(?M, ?H, ?MB, ?B, ?Vs, ?Why) is semidet: Save Clause Variables.
ain00(?A) is semidet: Assert If New Primary Helper Primary Helper.
contains_ftVar(+Term) is semidet: Contains Format Type Variable.
ensure_vars_labled_r(?I, ?O) is semidet: Ensure Variables Labled R.
copy_term_and_varnames(?Term, ?Named) is semidet: Copy Term And Varnames.
renumbervars(?How, ?Term, ?Named) is semidet: Renumbervars.
contains_singletons(?Term) is semidet: Contains Singletons.
count_members_eq(+Find, +TermE, -N) is det: Count Members Using (==/2) (or =@=/2) ).
call_not_not(:Goal) is semidet: Call \+ \+ Goal
contains_badvarnames(?Term) is semidet: Contains Badvarnames.
bad_varnamez(?Sub) is semidet: Bad Varnamez.
mpred_numbervars_with_names(?Term) is semidet: Managed Predicate Numbervars Using Names.
b_implode_varnames(?VALUE1) is semidet: Backtackable Implode Varnames.
b_implode_varnames0(:TermN) is semidet: Backtackable Implode Varnames Primary Helper.
imploded_copyvars(?C, ?CT) is semidet: Imploded Copyvars.
check_varnames(:TermVs) is semidet: Check Varnames.
snumbervars4(:GoalTerm, ?Start, ?End, ?List) is semidet: Snumbervars4.
snumbervars5(:GoalTerm, ?Start, ?End, ?List) is semidet: Snumbervars5.
try_save_vars(?HB) is semidet: Try Save Variables.
maybe_scan_for_varnames is semidet: Maybe Scan Source Files For Varnames.
scan_for_varnames is semidet: Scan For Varnames.
dcall_if_verbose(:GoalG) is semidet: Dirrectly Call If While Being Descriptive.
read_source_file_vars(?F) is semidet: Read Source File Variables.
save_file_source_vars(?F, ?T, ?Vs) is semidet: Save File Source Variables.
read_source_vars(?File, ?In) is semidet: Read Source Variables.
read_source_file_vars_1(?File) is semidet: read source file Variables Secondary Helper.
ensure_vars_labled(?I, ?O) is semidet: Ensure Variables Labled.
portray(:TermObj) is semidet[multifile]: Hook To [portray/1] For Module Logicmoo_varnames. Portray.
print_numbervars(?H) is semidet: Print Numbervars.
print_numbervars_maybe(?H) is semidet: Print Numbervars Maybe.
term_expansion_save_vars(?HB) is semidet: Term Expansion Save Variables.
maybe_record_scanned_file is semidet: Maybe Record Scanned File.
init_varname_stores(?M) is semidet: Init Varname Storages.
listing_vars_file is semidet: Logicmoo Util Varnames File.
term_expansion(:TermFDecl, ?Clause) is semidet[multifile]: Hook To [term_expansion/2] For Module Logicmoo_varnames. Term Expansion.

Undocumented predicates

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