Did you know ... Search Documentation:
Pack hook_hybrid -- 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.

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
 add_library_search_path(Arg1, Arg2)
 locally(Arg1, Arg2)