Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/hook_database.pl
PublicShow source
 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.

Re-exported predicates

The following predicates are re-exported from other modules

 lock_vars(:TermVar) is semidet
Lock Variables.
 name_variable(+Var, +Name) is det
Assign a name to a variable. Succeeds silently if Var is not a variable (anymore).
 lock_vars(:TermVar) is semidet
Lock Variables.

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)
 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_singleslots(Arg1, Arg2)
 term_singleslots(Arg1, Arg2, Arg3)
 term_singleslots(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)
 variable_name(Arg1, Arg2)
 init_varname_stores(Arg1)
 maybe_scan_for_varnames
 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