virtualize_code(X, :TermT, :TermARG2) is semidet

System Goal Expansion Sd.f$

 safe_virtualize(Term, +How, -Wrapped) is semidet

Safely Paying Attention To Corner Cases Wrap.

 same_terms(?A, :TermB) is semidet

Same Terms.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 cnas(Arg1, Arg2, Arg3)

 nb_current_or_nil(Arg1, Arg2)

 decl_wrapped(Arg1, Arg2, Arg3, Arg4)

 sd_goal_expansion(Arg1, Arg2, Arg3)

 skipped_dirs(Arg1)

 swc

 virtualize_code_each(Arg1, Arg2, Arg3, Arg4)

 virtualize_code_fa(Arg1, Arg2, Arg3, Arg4, Arg5)

 virtualize_ereq(Arg1, Arg2)

 virtualize_source(Arg1, Arg2, Arg3)

 virtualize_source_file

 virtualize_source_file(Arg1)

 virtualize_source_file(Arg1, Arg2)

 could_safe_virtualize

 vwc

 ain(Arg1)

 ain0(Arg1)

 aina(Arg1)

 ainz(Arg1)

 if_flag_true(Arg1, Arg2)

 current_module_from(Arg1, Arg2)

 attributes_equal(Arg1, Arg2, Arg3)

 ereq(Arg1)

 dbreq(Arg1)

 is_visible_module(Arg1)

 hb_to_clause(Arg1, Arg2, Arg3)

 paina(Arg1)

 pain(Arg1)

 painz(Arg1)

 modulize_head(Arg1, Arg2)

 remove_term_attr_type(Arg1, Arg2)

 ainz_clause(Arg1)

 ainz_clause(Arg1, Arg2)

 simple_var(Arg1)

 find_module(Arg1, Arg2)

 module_of(Arg1, Arg2, Arg3)

 callable_module(Arg1, Arg2)

 expand_to_hb(Arg1, Arg2, Arg3)

 assert_if_new(Arg1)

 asserta_if_new(Arg1)

 asserta_new(Arg1)

 assertz_if_new(Arg1)

 assertz_new(Arg1)

 assert_setting(Arg1)

 assert_setting_if_missing(Arg1)

 call_provider(Arg1)

 call_provider(Arg1, Arg2)

 clause_true(Arg1)

 modulize_head_fb(Arg1, Arg2, Arg3, Arg4)

 clause_asserted(Arg1)

 clause_asserted(Arg1, Arg2)

 clause_asserted(Arg1, Arg2, Arg3)

 clause_asserted_i(Arg1)

 clause_asserted_i(Arg1, Arg2)

 clause_asserted_i(Arg1, Arg2, Arg3)

 clause_i(Arg1)

 clause_i(Arg1, Arg2)

 clause_i(Arg1, Arg2, Arg3)

 assert_i(Arg1)

 asserta_i(Arg1)

 assertz_i(Arg1)

 retract_i(Arg1)

 retractall_i(Arg1)

 clause_safe(Arg1, Arg2)

 erase_safe(Arg1, Arg2)

 eraseall(Arg1, Arg2)

 find_and_call(Arg1)

 somehow_callable(Arg1)

 find_and_call(Arg1, Arg2, Arg3)

 std_provider(Arg1, Arg2, Arg3)

 mpred_mop(Arg1, Arg2, Arg3)

 mpred_op_prolog(Arg1, Arg2)

 mpred_split_op_data(Arg1, Arg2, Arg3)

 retract_eq(Arg1)

 safe_univ(Arg1, Arg2)

 safe_univ0(Arg1, Arg2)

 my_module_sensitive_code(Arg1)

 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