- my_module_sensitive_code(?E) is semidet
- My Module Sensitive Code.
- clause_safe(?H, ?B) is semidet
- Clause Safely Paying Attention To Corner Cases.
- mpred_split_op_data(?OP, ?O, ?P) is semidet
- Managed Predicate Split Oper. Data.
- mpred_mop(+M, :PRED1Op, ?Term) is semidet
- Managed Predicate Mop.
- find_and_call(+OUT1, +C, ?G) is semidet
- Find And Call.
- find_and_call(:TermG) is semidet
- Find And Call.
- somehow_callable(:TermG) is semidet
- Detects if find_and_call/1 will be able to call the term
- ain0(?N) is semidet
- Assert If New Primary Helper.
- mpred_op_prolog(?UPARAM1, ?N) is semidet
- Managed Predicate Oper. Prolog.
- eraseall(+F, +A) is semidet
- Eraseall.
- call_provider(?P) is semidet
- Call Provider.
- call_provider(?OP, ?Term) is semidet
- Call Provider.
- assert_setting(?X) is semidet
- assert_if_new(?X) is semidet
- Assert If New.
- asserta_if_new(?X) is semidet
- Asserta If New.
- assertz_if_new(?X) is semidet
- Assertz If New.
- asserta_new(?X) is semidet
- Asserta New.
- assertz_new(?X) is semidet
- Assertz New.
- pain(?N) is semidet
- Pain.
- paina(?N) is semidet
- Paina.
- painz(?N) is semidet
- Painz.
- ain(?N) is semidet[multifile]
- Assert If New.
- aina(?N) is semidet[multifile]
- Aina.
- ainz(?N) is semidet[multifile]
- Ainz.
- ainz_clause(?C) is semidet
- Ainz Clause.
- ainz_clause(?H, ?B) is semidet
- Ainz Clause.
- expand_to_hb(?Clause, ?H, ?B) is semidet
- Split a Head+Body from Clause.
- is_visible_module(+Op) is semidet
- Is a stripped Module (Meaning it will be found via inheritance)
- hb_to_clause(?H, ?B, ?Clause) is semidet
- Join a Head+Body To Clause.
- clause_asserted(?C) is semidet
- Clause Asserted.
- clause_asserted(?H, ?B) is semidet
- Clause Asserted.
- clause_asserted(?M, ?B, -R) is semidet
- Clause Asserted.
- modulize_head(+HEAD, -ModulePlusHead) is semidet
- Modulize Head.
- clause_asserted_i(+Head) is semidet
- PFC Clause For User Interface.
- clause_i(?H, ?B, ?Ref) is semidet
- Clause For Internal Interface.
- clause_true(?G) is semidet
- Clause True.
- retract_eq(?HB) is semidet
- Retract Using (==/2) (or =@=/2) ).
- safe_univ(?Call, ?List) is semidet
- Safely Paying Attention To Corner Cases Univ.
- safe_univ0(?M, :TermN) is semidet
- Safely Paying Attention To Corner Cases Univ Primary Helper.
- erase_safe(?VALUE1, ?REF) is semidet
- Erase Safely Paying Attention To Corner Cases.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- if_flag_true(Arg1, Arg2)
- current_module_from(Arg1, Arg2)
- attributes_equal(Arg1, Arg2, Arg3)
- ereq(Arg1)
- dbreq(Arg1)
- remove_term_attr_type(Arg1, Arg2)
- simple_var(Arg1)
- find_module(Arg1, Arg2)
- module_of(Arg1, Arg2, Arg3)
- callable_module(Arg1, Arg2)
- assert_setting_if_missing(Arg1)
- modulize_head_fb(Arg1, Arg2, Arg3, Arg4)
- clause_asserted_i(Arg1, Arg2)
- clause_asserted_i(Arg1, Arg2, Arg3)
- clause_i(Arg1)
- clause_i(Arg1, Arg2)
- assert_i(Arg1)
- asserta_i(Arg1)
- assertz_i(Arg1)
- retract_i(Arg1)
- retractall_i(Arg1)
- std_provider(Arg1, Arg2, Arg3)
- attr_bind(Arg1, Arg2)
- attr_bind(Arg1)
- split_attrs(Arg1, Arg2, Arg3)
- clause_attv(Arg1, Arg2, Arg3)
- variant_i(Arg1, Arg2)
- av_comp(Arg1, Arg2)
- unify_bodies(Arg1, Arg2)
- clausify_attributes(Arg1, Arg2)
- clausify_attributes4(Arg1, Arg2, Arg3, Arg4)
- 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
- ain00(Arg1)
- contains_ftVar(Arg1)
- count_members_eq(Arg1, Arg2, Arg3)
- all_different_vars(Arg1)
- all_different_vals(Arg1)
- all_different_vals(Arg1, Arg2)
- all_disjoint_in_sets(Arg1, Arg2, Arg3)
- del_each_attr(Arg1, Arg2)
- get_random_headvars(Arg1)
- get_random_headvars(Arg1, Arg2, Arg3, Arg4)
- get_1head_arg_var(Arg1, Arg2, Arg3, Arg4, Arg5)
- term_slots(Arg1, Arg2)
- never_bound(Arg1)
- dif_matrix(Arg1, Arg2)
- term_singletons(Arg1, Arg2)
- term_singletons(Arg1, Arg2, Arg3)
- term_singletons(Arg1, Arg2, Arg3, Arg4, Arg5)
- set_varname(Arg1, Arg2)
- set_varname(Arg1, Arg2, Arg3)
- write_functor(Arg1, Arg2)
- atom_subst_frak_0(Arg1, Arg2, Arg3, Arg4)
- arg_varname(Arg1, Arg2, Arg3)
- variable_name_or_ref(Arg1, Arg2)
- renumbervars(Arg1, Arg2, Arg3)
- b_implode_varnames(Arg1)
- b_implode_varnames0(Arg1)
- bad_varnamez(Arg1)
- call_not_not(Arg1)
- call_return_tf(Arg1, Arg2)
- check_varnames(Arg1)
- clause_ref_file(Arg1, Arg2)
- clause_ref_vars(Arg1, Arg2)
- contains_badvarnames(Arg1)
- contains_dvar(Arg1)
- contains_singletons(Arg1)
- del_attr_type(Arg1, Arg2)
- copy_term_and_varnames(Arg1, Arg2)
- mpred_numbervars_with_names(Arg1)
- ensure_vars_labled(Arg1, Arg2)
- ensure_vars_labled_r(Arg1, Arg2)
- fix_varcase_name(Arg1, Arg2)
- get_clause_vars(Arg1)
- get_clause_vars(Arg1, Arg2)
- get_clause_vars_copy(Arg1, Arg2)
- get_clause_vars_hb_int(Arg1, Arg2)
- imploded_copyvars(Arg1, Arg2)
- locate_clause_ref(Arg1, Arg2, Arg3, Arg4, Arg5)
- not_member_eq_local(Arg1, Arg2)
- listing_vars_file
- make_subterm_path(Arg1, Arg2, Arg3)
- maybe_record_scanned_file
- without_varname_scan(Arg1)
- no_varnaming(Arg1)
- no_vars_needed(Arg1)
- print_numbervars_maybe(Arg1)
- print_numbervars(Arg1)
- scan_for_varnames0
- que_read_source_file_vars(Arg1)
- read_source_file_vars(Arg1)
- read_source_file_vars_1(Arg1)
- read_source_vars(Arg1, Arg2)
- replace_in_string_frak_0(Arg1, Arg2, Arg3, Arg4)
- save_clause_vars(Arg1, Arg2)
- save_clause_vars(Arg1, Arg2, Arg3)
- save_clause_vars(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- save_file_source_vars(Arg1, Arg2, Arg3)
- save_to_clause_ref(Arg1, Arg2, Arg3)
- scan_for_varnames
- dcall_if_verbose(Arg1)
- dcall_when(Arg1, Arg2, Arg3)
- snumbervars4(Arg1, Arg2, Arg3, Arg4)
- snumbervars5(Arg1, Arg2, Arg3, Arg4)
- subterm_path(Arg1, Arg2, Arg3)
- term_expansion_save_vars(Arg1)
- try_get_body_vars(Arg1)
- try_get_head_vars(Arg1)
- try_get_inner_vars(Arg1)
- set_varname(Arg1, Arg2)
- try_save_vars(Arg1)
- v_dif_rest(Arg1, Arg2)
- vmust(Arg1)
- name_variable(Arg1, Arg2)
- variable_name(Arg1, Arg2)
- init_varname_stores(Arg1)
- maybe_scan_for_varnames
- 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
