name_variable(+Var, +Name) is det

 variable_name(+Var, -Name) is semidet

 vmust(:GoalG) is semidet

 dcall_when(:PRED2P, ?In, ?Out) is semidet

 no_varnaming(:GoalG) is semidet

 all_different_vals(+P2, ?Term) is semidet

 all_different_vars(?A) is semidet

 all_different_vals(:PRED2, +Term) is semidet

 v_dif_rest(?V, ?REST) is semidet

 not_member_eq_local(?E, ?REST) is semidet

 dif_matrix(?V, ?REST) is semidet

 make_subterm_path(?Sub, ?Term, ?PathO) is semidet

 subterm_path(?Sub, ?Term, :TermARG3) is semidet

 get_clause_vars(?CV) is semidet

 get_clause_vars_nontraced(:TermMHB) is semidet

 del_attr_type(?Type, ?Var) is semidet

 get_clause_vars(?MHB, ?Vs) is semidet

 get_clause_vars_copy(?HB, ?HB) is semidet

 get_clause_vars_hb_int(?H, ?B) is semidet

 atom_subst_frak_0(?A, ?F, ?R, ?K) is semidet

 replace_in_string_frak_0(?F, ?R, ?A, ?K) is semidet

 fix_varcase_name(?N, ?VN) is semidet

 no_vars_needed(?H) is semidet

 try_get_inner_vars(?H) is semidet

 term_slots(?Term, ?Slots) is semidet

 term_singleslots(?A, ?Vs) is semidet

 term_singleslots(?Term, ?NonSingle, ?Singles) is semidet

 term_singleslots(:TermFml, +NonSinglesIn, -NonSinglesOut, +SinglesIn, -SinglesOut) is semidet

 call_return_tf(:Goal, ?TF) is semidet

 try_get_head_vars(?H) is semidet

 get_random_headvars(?H) is semidet

 get_random_headvars(?H, ?F, ?A, ?N) is semidet

 get_1head_arg_var(?H, ?F, ?N, ?A, ?HA) is semidet

 arg_varname(+P, ?N, ?Name) is semidet

 try_get_body_vars(:TermH) is semidet

 set_varname(+How, ?B) is semidet

 set_varname(+How, ?N, ?V) is semidet

 write_functor(?N, ?V) is semidet

 save_clause_vars(?MHB, ?Vs) is semidet

 save_clause_vars(?MHB, ?Vs, :TermWhy) is semidet

 locate_clause_ref(?M, ?H, ?MB, ?B, ?ClauseRef) is semidet

 clause_ref_vars(?ClauseRef, ?Was) is semidet

 clause_ref_file(?ClauseRef, ?File) is semidet

 save_to_clause_ref(?ClauseRef, ?Vs, ?Why) is semidet

 save_clause_vars(?M, ?H, ?MB, ?B, ?Vs, ?Why) is semidet

 ain00(?A) is semidet

 contains_ftVar(+Term) is semidet

 ensure_vars_labled_r(?I, ?O) is semidet

 copy_term_and_varnames(?Term, ?Named) is semidet

 renumbervars(?How, ?Term, ?Named) is semidet

 contains_singletons(?Term) is semidet

 count_members_eq(+Find, +TermE, -N) is det

 call_not_not(:Goal) is semidet

 contains_badvarnames(?Term) is semidet

 bad_varnamez(?Sub) is semidet

 mpred_numbervars_with_names(?Term) is semidet

 b_implode_varnames(?VALUE1) is semidet

 b_implode_varnames0(:TermN) is semidet

 imploded_copyvars(?C, ?CT) is semidet

 check_varnames(:TermVs) is semidet

 snumbervars4(:GoalTerm, ?Start, ?End, ?List) is semidet

 snumbervars5(:GoalTerm, ?Start, ?End, ?List) is semidet

 try_save_vars(?HB) is semidet

 maybe_scan_for_varnames is semidet

 scan_for_varnames is semidet

 dcall_if_verbose(:GoalG) is semidet

 read_source_file_vars(?F) is semidet

 save_file_source_vars(?F, ?T, ?Vs) is semidet

 read_source_vars(?File, ?In) is semidet

 read_source_file_vars_1(?File) is semidet

 ensure_vars_labled(?I, ?O) is semidet

 portray(:TermObj) is semidet[multifile]

 print_numbervars(?H) is semidet

 print_numbervars_maybe(?H) is semidet

 term_expansion_save_vars(?HB) is semidet

 maybe_record_scanned_file is semidet

 init_varname_stores(?M) is semidet

 listing_vars_file is semidet

 term_expansion(:TermFDecl, ?Clause) is semidet[multifile]

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