This module holds utilities to access and change the names of prolog variables.

• @author Douglas R. Miles
• @license LGPL

 member_open(?ARG1, :TermARG2) is det

Member Open.

 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.

% % % OFF :- system:use_module(library(logicmoo_utils_all)).

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)

 contains_dvar(Arg1)

 without_varname_scan(Arg1)

 scan_for_varnames0

 que_read_source_file_vars(Arg1)

 sourceable_variables_lwv(Arg1)

 execute_goal_vs(Arg1)