- 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
