Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo/util_varnames.pl
PublicShow source
 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_singleslots(?A, ?Vs) is semidet
Hook To [term_singleslots/2] For Module Logicmoo_varnames. Term Singletons.
 term_singleslots(?Term, ?NonSingle, ?Singles) is semidet
Term Singletons.
 term_singleslots(:TermFml, +NonSinglesIn, -NonSinglesOut, +SinglesIn, -SinglesOut) is semidet
Term Singletons.
 call_return_tf(:Goal, ?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
?- b_implode_varnames(Vs),display(Vs).

'$VAR'('Vs')

 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.

Re-exported predicates

The following predicates are re-exported from other modules

 lock_vars(:TermVar) is semidet
Lock Variables.

Undocumented predicates

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

 all_different_vals(Arg1)
 all_disjoint_in_sets(Arg1, Arg2, Arg3)
 del_each_attr(Arg1, Arg2)
 never_bound(Arg1)
 variable_name_or_ref(Arg1, Arg2)
 contains_dvar(Arg1)
 without_varname_scan(Arg1)
 scan_for_varnames0
 que_read_source_file_vars(Arg1)
 unlock_vars(Arg1)
 with_vars_locked(Arg1)
 with_vars_locked(Arg1, Arg2)
 with_some_vars_locked(Arg1, Arg2)
 with_vars_locked(Arg1, Arg2, Arg3)
 with_vars_locked_old(Arg1, Arg2)
 with_vars_locked_old(Arg1, Arg2, Arg3)
 with_vars_locked_trusted(Arg1, Arg2, Arg3)
 with_quiet_vars_lock(Arg1)
 with_vars_lock_else(Arg1, Arg2)
 skip_varlocks