- 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.
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)
- lock_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