Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo_utils_all.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

 debug(+Topic, +Format, :Args) is det
Format a message if debug topic is enabled. Similar to format/3 to user_error, but only prints if Topic is activated through debug/1. Args is a meta-argument to deal with goal for the @-command. Output is first handed to the hook prolog:debug_print_hook/3. If this fails, Format+Args is translated to text using the message-translation (see print_message/2) for the term debug(Format, Args) and then printed to every matching destination (controlled by debug/1) using print_message_lines/3.

The message is preceded by '% ' and terminated with a newline.

See also
- format/3.
 debug(+Topic, +Format, :Args) is det
Format a message if debug topic is enabled. Similar to format/3 to user_error, but only prints if Topic is activated through debug/1. Args is a meta-argument to deal with goal for the @-command. Output is first handed to the hook prolog:debug_print_hook/3. If this fails, Format+Args is translated to text using the message-translation (see print_message/2) for the term debug(Format, Args) and then printed to every matching destination (controlled by debug/1) using print_message_lines/3.

The message is preceded by '% ' and terminated with a newline.

See also
- format/3.
 resolve_dir(?Dir, ?Dir) is semidet
Resolve Dir.
 create_predicate_inheritance(+Reason, +ChildDefMt, +F, +A) is semidet
Ensure inherit_above/2 stub is present in ChildDefMt.
 debug(+Topic, +Format, :Args) is det
Format a message if debug topic is enabled. Similar to format/3 to user_error, but only prints if Topic is activated through debug/1. Args is a meta-argument to deal with goal for the @-command. Output is first handed to the hook prolog:debug_print_hook/3. If this fails, Format+Args is translated to text using the message-translation (see print_message/2) for the term debug(Format, Args) and then printed to every matching destination (controlled by debug/1) using print_message_lines/3.

The message is preceded by '% ' and terminated with a newline.

See also
- format/3.
 debug(+Topic, +Format, :Args) is det
Format a message if debug topic is enabled. Similar to format/3 to user_error, but only prints if Topic is activated through debug/1. Args is a meta-argument to deal with goal for the @-command. Output is first handed to the hook prolog:debug_print_hook/3. If this fails, Format+Args is translated to text using the message-translation (see print_message/2) for the term debug(Format, Args) and then printed to every matching destination (controlled by debug/1) using print_message_lines/3.

The message is preceded by '% ' and terminated with a newline.

See also
- format/3.

Undocumented predicates

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

 maybe_notrace(Arg1)
 absolute_startup_script(Arg1)
 at_init(Arg1)
 during_init(Arg1)
 has_ran_once(Arg1)
 app_argv(Arg1)
 app_argv1(Arg1)
 app_argv_ok(Arg1)
 app_argv_off(Arg1)
 is_startup_script(Arg1)
 init_why(Arg1)
 run_pending_inits
 must(Arg1)
 must_once(Arg1)
 must_det(Arg1)
 sanity(Arg1)
 nop(Arg1)
 scce_orig(Arg1, Arg2, Arg3)
 must_or_rtrace(Arg1)
 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
 at_start(Arg1)
 remember_at_start(Arg1, Arg2)
 expire_tabled_list(Arg1)
 call_n_times(Arg1, Arg2)
 call_no_cuts(Arg1)
 conjoin(Arg1, Arg2, Arg3)
 conjoin_op(Arg1, Arg2, Arg3, Arg4)
 conjuncts_to_list(Arg1, Arg2)
 delete_eq(Arg1, Arg2, Arg3)
 disjuncts_to_list(Arg1, Arg2)
 doall(Arg1)
 dynamic_load_pl(Arg1)
 each_subterm(Arg1, Arg2)
 each_subterm(Arg1, Arg2, Arg3)
 flatten_dedupe(Arg1, Arg2)
 flatten_set(Arg1, Arg2)
 functor_h(Arg1, Arg2)
 functor_h(Arg1, Arg2, Arg3)
 get_functor(Arg1, Arg2)
 get_functor(Arg1, Arg2, Arg3)
 identical_memberchk(Arg1, Arg2)
 in_thread_and_join(Arg1)
 in_thread_and_join(Arg1, Arg2)
 is_proof(Arg1)
 is_true(Arg1)
 lastMember2(Arg1, Arg2)
 list_retain(Arg1, Arg2, Arg3)
 list_to_conjuncts(Arg1, Arg2)
 list_to_conjuncts(Arg1, Arg2, Arg3)
 list_to_set_safe(Arg1, Arg2)
 load_assert(Arg1, Arg2, Arg3)
 load_dirrective(Arg1, Arg2)
 load_term(Arg1, Arg2)
 load_term2(Arg1, Arg2)
 logicmoo_library_file_loaded
 make_list(Arg1, Arg2, Arg3)
 maptree(Arg1, Arg2, Arg3)
 nd_predsubst(Arg1, Arg2, Arg3)
 nd_predsubst1(Arg1, Arg2, Arg3, Arg4)
 nd_predsubst2(Arg1, Arg2, Arg3)
 nd_subst(Arg1, Arg2, Arg3, Arg4)
 nd_subst1(Arg1, Arg2, Arg3, Arg4, Arg5)
 nd_subst2(Arg1, Arg2, Arg3, Arg4)
 pred_delete(Arg1, Arg2, Arg3, Arg4)
 pred_juncts_to_list(Arg1, Arg2)
 pred_juncts_to_list(Arg1, Arg2, Arg3)
 pred_subst(Arg1, Arg2, Arg3, Arg4, Arg5)
 pred_term_parts(Arg1, Arg2, Arg3)
 pred_term_parts_l(Arg1, Arg2, Arg3)
 predsubst(Arg1, Arg2, Arg3)
 proccess_status(Arg1, Arg2, Arg3)
 read_each_term(Arg1, Arg2, Arg3)
 remove_dupes(Arg1, Arg2)
 remove_dupes(Arg1, Arg2, Arg3)
 subst(Arg1, Arg2, Arg3, Arg4)
 term_parts(Arg1, Arg2)
 term_parts_l(Arg1, Arg2)
 throw_if_true_else_fail(Arg1, Arg2)
 univ_safe(Arg1, Arg2)
 univ_term(Arg1, Arg2)
 weak_nd_subst(Arg1, Arg2, Arg3, Arg4)
 weak_nd_subst1(Arg1, Arg2, Arg3, Arg4, Arg5)
 weak_nd_subst2(Arg1, Arg2, Arg3, Arg4)
 wsubst(Arg1, Arg2, Arg3, Arg4)
 append_termlist(Arg1, Arg2, Arg3)
 append_term(Arg1, Arg2, Arg3)
 apply_term(Arg1, Arg2, Arg3)
 atom_concat_safe(Arg1, Arg2, Arg3)
 compound_name_args_safe(Arg1, Arg2, Arg3)
 compound_name_arity_safe(Arg1, Arg2, Arg3)
 each_call_cleanup(Arg1, Arg2, Arg3)
 each_call_catcher_cleanup(Arg1, Arg2, Arg3, Arg4)
 redo_call_cleanup(Arg1, Arg2, Arg3)
 trusted_redo_call_cleanup(Arg1, Arg2, Arg3)
 locally(Arg1, Arg2)
 locally_each(Arg1, Arg2)
 locally_tl(Arg1, Arg2)
 locally_hide(Arg1, Arg2)
 locally_hide_each(Arg1, Arg2)
 local_override(Arg1, Arg2)
 is_loop_checked(Arg1)
 lco_goal_expansion(Arg1, Arg2)
 cyclic_break(Arg1)
 loop_check_early(Arg1, Arg2)
 loop_check_term(Arg1, Arg2, Arg3)
 loop_check_term(Arg1, Arg2, Arg3)
 no_loop_check_term(Arg1, Arg2, Arg3)
 loop_check(Arg1)
 loop_check(Arg1, Arg2)
 no_loop_check(Arg1)
 no_loop_check(Arg1, Arg2)
 current_loop_checker(Arg1)
 push_loop_checker
 pop_loop_checker
 transitive(Arg1, Arg2, Arg3)
 transitive_except(Arg1, Arg2, Arg3, Arg4)
 transitive_lc(Arg1, Arg2, Arg3)
 is_parent_goal(Arg1, Arg2)
 lc_tcall(Arg1)
 must_not_repeat(Arg1)
 no_repeats(Arg1)
 no_repeats(Arg1, Arg2)
 no_repeats_var(Arg1)
 call_if_defined(Arg1)
 convert_to_dynamic(Arg1)
 convert_to_dynamic(Arg1, Arg2, Arg3)
 current_predicate_module(Arg1, Arg2)
 context_module_of_file(Arg1)
 call_from_module(Arg1, Arg2)
 with_source_module(Arg1, Arg2)
 def_meta_predicate(Arg1, Arg2, Arg3)
 dynamic_if_missing(Arg1)
 dynamic_multifile(Arg1)
 dump_break
 dynamic_safe(Arg1)
 dynamic_safe(Arg1, Arg2, Arg3)
 op_safe(Arg1, Arg2, Arg3)
 dynamic_transparent(Arg1)
 fill_args(Arg1, Arg2)
 get_module_of(Arg1, Arg2)
 get_module_of_4(Arg1, Arg2, Arg3, Arg4)
 get_pi(Arg1, Arg2)
 only_3rd(Arg1, Arg2, Arg3, Arg4)
 make_transparent(Arg1, Arg2, Arg3, Arg4)
 multi_transparent(Arg1)
 must_pi(Arg1)
 p_predicate_property(Arg1, Arg2)
 to_canonical_mpi(Arg1, Arg2)
 get_fa(Arg1, Arg2, Arg3)
 pred_prop(Arg1, Arg2, Arg3)
 pred_prop(Arg1, Arg2, Arg3, Arg4)
 rebuild_as_dyn(Arg1, Arg2, Arg3, Arg4)
 rebuild_pred_into(Arg1, Arg2, Arg3)
 rebuild_pred_into(Arg1, Arg2, Arg3, Arg4)
 remove_pred(Arg1, Arg2, Arg3)
 is_static_predicate(Arg1)
 is_static_predicate_3(Arg1, Arg2, Arg3)
 save_was(Arg1, Arg2, Arg3, Arg4)
 was_dynamic(Arg1)
 was_multifile(Arg1)
 was_module_transparent(Arg1)
 was_export(Arg1)
 with_mfa(Arg1, Arg2)
 with_pfa(Arg1, Arg2)
 add_mi(Arg1, Arg2, Arg3)
 with_pfa(Arg1, Arg2, Arg3, Arg4)
 make_module_name00(Arg1, Arg2)
 is_static_why(Arg1, Arg2, Arg3, Arg4, Arg5)
 defined_predicate(Arg1)
 m_m_fa_to_m_p_fa(Arg1, Arg2, Arg3, Arg4)
 m_fa_to_m_p_fa(Arg1, Arg2)
 warn_if_static(Arg1, Arg2)
 with_pfa_single(Arg1, Arg2, Arg3, Arg4)
 with_pfa_group(Arg1, Arg2, Arg3, Arg4)
 with_mfa_of(Arg1, Arg2, Arg3, Arg4, Arg5)
 with_pi(Arg1, Arg2)
 with_pi_selected(Arg1, Arg2, Arg3, Arg4)
 with_pi_stub(Arg1, Arg2, Arg3, Arg4, Arg5)
 nb_current_or_nil(Arg1, Arg2)
 safe_virtualize(Arg1, Arg2, Arg3)
 same_terms(Arg1, Arg2)
 decl_wrapped(Arg1, Arg2, Arg3, Arg4)
 sd_goal_expansion(Arg1, Arg2, Arg3)
 skipped_dirs(Arg1)
 swc
 virtualize_code(Arg1, Arg2, Arg3)
 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
 must(Arg1)
 must_once(Arg1)
 must_det(Arg1)
 sanity(Arg1)
 nop(Arg1)
 scce_orig(Arg1, Arg2, Arg3)
 must_or_rtrace(Arg1)
 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
 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
 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
 add_library_search_path(Arg1, Arg2)
 add_file_search_path(Arg1, Arg2)
 add_to_search_path(Arg1, Arg2)
 add_to_search_path(Arg1, Arg2, Arg3)
 add_to_search_path_first(Arg1, Arg2)
 add_to_search_path_last(Arg1, Arg2)
 atom_concat_safe0(Arg1, Arg2, Arg3)
 atom_ensure_endswtih(Arg1, Arg2, Arg3)
 canonical_pathname(Arg1, Arg2)
 clip_dir_sep(Arg1, Arg2)
 concat_paths(Arg1, Arg2)
 concat_paths(Arg1, Arg2, Arg3)
 current_dirs(Arg1)
 current_dirs0(Arg1)
 current_filedir(Arg1)
 current_filesource(Arg1)
 enumerate_files(Arg1, Arg2)
 enumerate_files0(Arg1, Arg2)
 enumerate_files00(Arg1, Arg2)
 enumerate_files01(Arg1, Arg2)
 enumerate_files1(Arg1, Arg2)
 enumerate_files2(Arg1, Arg2)
 enumerate_m_files(Arg1, Arg2, Arg3)
 exists_directory_safe(Arg1)
 exists_dirf(Arg1)
 exists_file_or_dir(Arg1)
 exists_file_safe(Arg1)
 expand_file_name_safe(Arg1, Arg2)
 expand_wfm(Arg1, Arg2)
 filematch(Arg1, Arg2)
 filematch3(Arg1, Arg2, Arg3)
 filematch_ext(Arg1, Arg2, Arg3)
 global_pathname(Arg1, Arg2)
 if_startup_script
 in_include_file
 if_startup_script(Arg1)
 in_search_path(Arg1, Arg2)
 is_directory(Arg1)
 join_path(Arg1, Arg2, Arg3)
 join_path_if_needed(Arg1, Arg2, Arg3)
 local_directory_search_combined(Arg1)
 local_directory_search_combined2(Arg1)
 locally_to_dir(Arg1, Arg2)
 my_absolute_file_name(Arg1, Arg2)
 normalize_path(Arg1, Arg2)
 os_to_prolog_filename(Arg1, Arg2)
 prolog_file_dir(Arg1)
 prolog_file_dir(Arg1, Arg2)
 relative_pathname(Arg1, Arg2)
 remove_search_path(Arg1, Arg2)
 time_file_safe(Arg1, Arg2)
 to_filename(Arg1, Arg2)
 upcase_atom_safe(Arg1, Arg2)
 with_filematch(Arg1)
 with_filematches(Arg1)
 debug_var(Arg1, Arg2)
 maybe_debug_var(Arg1, Arg2)
 pretty_numbervars(Arg1, Arg2)
 guess_pretty(Arg1)
 into_symbol_name(Arg1, Arg2)
 prologcase_name(Arg1, Arg2)
 may_debug_var(Arg1, Arg2)
 maybe_debug_var(Arg1, Arg2)
 simpler_textname(Arg1, Arg2)
 simpler_textname(Arg1, Arg2, Arg3)
 check_mfa(Arg1, Arg2, Arg3, Arg4)
 now_inherit_above(Arg1, Arg2, Arg3, Arg4)
 decl_as(Arg1, Arg2)
 decl_kb_global(Arg1, Arg2, Arg3)
 decl_kb_shared(Arg1, Arg2, Arg3)
 decl_kb_local(Arg1, Arg2, Arg3)
 decl_kb_type(Arg1, Arg2, Arg3, Arg4)
 predicate_m_f_a_decl(Arg1, Arg2, Arg3, Arg4)
 do_import(Arg1, Arg2, Arg3, Arg4)
 kb_local(Arg1)
 kb_global(Arg1)
 kb_local(Arg1)
 kb_shared(Arg1)
 make_as_dynamic(Arg1, Arg2, Arg3, Arg4)
 must(Arg1)
 must_once(Arg1)
 must_det(Arg1)
 sanity(Arg1)
 nop(Arg1)
 scce_orig(Arg1, Arg2, Arg3)
 must_or_rtrace(Arg1)
 is_loop_checked(Arg1)
 lco_goal_expansion(Arg1, Arg2)
 cyclic_break(Arg1)
 loop_check_early(Arg1, Arg2)
 loop_check_term(Arg1, Arg2, Arg3)
 loop_check_term(Arg1, Arg2, Arg3)
 no_loop_check_term(Arg1, Arg2, Arg3)
 loop_check(Arg1)
 loop_check(Arg1, Arg2)
 no_loop_check(Arg1)
 no_loop_check(Arg1, Arg2)
 current_loop_checker(Arg1)
 push_loop_checker
 pop_loop_checker
 transitive(Arg1, Arg2, Arg3)
 transitive_except(Arg1, Arg2, Arg3, Arg4)
 transitive_lc(Arg1, Arg2, Arg3)
 is_parent_goal(Arg1, Arg2)
 lc_tcall(Arg1)
 uses_undefined_hook
 install_retry_undefined(Arg1, Arg2)
 is_parent_goal(Arg1)
 is_parent_goal(Arg1, Arg2)
 is_parent_goal(Arg1)
 is_parent_goal(Arg1, Arg2)
 save_pred_to(Arg1, Arg2)
 nb_current_or_nil(Arg1, Arg2)
 safe_virtualize(Arg1, Arg2, Arg3)
 same_terms(Arg1, Arg2)
 decl_wrapped(Arg1, Arg2, Arg3, Arg4)
 sd_goal_expansion(Arg1, Arg2, Arg3)
 skipped_dirs(Arg1)
 swc
 virtualize_code(Arg1, Arg2, Arg3)
 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
 must(Arg1)
 must_once(Arg1)
 must_det(Arg1)
 sanity(Arg1)
 nop(Arg1)
 scce_orig(Arg1, Arg2, Arg3)
 must_or_rtrace(Arg1)
 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
 blob_count(Arg1, Arg2)
 use_listing_vars
 use_listing_vars(Arg1)
 use_xlisting
 use_xlisting(Arg1)
 get_print_mode(Arg1)
 pi_to_head_l(Arg1, Arg2)
 xlisting_1(Arg1)
 bad_pred(Arg1)
 blob_info(Arg1, Arg2, Arg3)
 bookeepingPredicateXRef(Arg1)
 buggery_ok
 catch_each(Arg1, Arg2, Arg3)
 clause_ref(Arg1, Arg2)
 cur_predicate(Arg1, Arg2)
 current_atom_or_blob(Arg1, Arg2)
 get_matcher_code(Arg1, Arg2, Arg3, Arg4)
 get_search_ref(Arg1, Arg2)
 get_search_ref0(Arg1, Arg2)
 get_search_ref_tl(Arg1, Arg2)
 is_listing_hidden_00(Arg1)
 is_listing_hidden(Arg1)
 m_clause(Arg1, Arg2, Arg3, Arg4)
 m_clause0(Arg1, Arg2, Arg3, Arg4)
 m_clause_no_missing(Arg1, Arg2, Arg3, Arg4)
 make_headkey(Arg1, Arg2)
 make_search_key(Arg1, Arg2)
 make_searchable(Arg1)
 make_searchable_index(Arg1)
 make_searchable_list_ref(Arg1, Arg2)
 make_searchable_ref(Arg1, Arg2)
 maybe_separate(Arg1, Arg2)
 maybe_separate_0(Arg1, Arg2)
 mmake
 mp(Arg1, Arg2, Arg3)
 mpred_match_listing(Arg1)
 mpred_match_listing_skip_pi(Arg1, Arg2, Arg3)
 mstatistics
 new_atoms(Arg1, Arg2)
 nonvar_search(Arg1)
 ok_show(Arg1)
 plisting(Arg1)
 portray_hb(Arg1, Arg2)
 portray_hbr(Arg1, Arg2, Arg3)
 portray_one_line(Arg1)
 pp_listing(Arg1)
 predicateUsesCall(Arg1)
 printAll(Arg1)
 printAll(Arg1, Arg2)
 print_clause_properties(Arg1, Arg2)
 print_record_properties(Arg1, Arg2)
 process_unify_in_thread(Arg1, Arg2)
 real_list_undefined(Arg1)
 remove_undef_search
 save_atoms
 save_search_ref(Arg1, Arg2)
 save_search_ref_0(Arg1, Arg2)
 save_search_ref_recorded(Arg1, Arg2)
 save_search_ref_tl(Arg1, Arg2)
 scansrc_list_undefined(Arg1)
 search_refs_use_recorded
 searchable_of_clause(Arg1, Arg2)
 searchable_of_clause_0(Arg1, Arg2)
 searchable_of_clause_1(Arg1, Arg2)
 searchable_of_clause_1(Arg1, Arg2, Arg3)
 searchable_terms(Arg1)
 searchable_terms_tl(Arg1)
 sourceTextPredicate(Arg1)
 sourceTextPredicateSource(Arg1)
 synth_clause_for_l2(Arg1, Arg2, Arg3, Arg4, Arg5)
 synth_clause_for_large(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 synth_clause_ref(Arg1, Arg2, Arg3, Arg4, Arg5)
 synth_in_listing(Arg1)
 term_matches_hb(Arg1, Arg2, Arg3)
 term_matches_hb(Arg1, Arg2, Arg3, Arg4)
 term_matches_unify(Arg1, Arg2, Arg3)
 unify_in_thread(Arg1, Arg2)
 unify_in_thread_tl(Arg1, Arg2)
 unify_listing(Arg1)
 unify_listing(Arg1, Arg2, Arg3)
 unify_listing_header(Arg1)
 unify_listing_header(Arg1, Arg2, Arg3)
 unmake_search_key(Arg1, Arg2)
 update_changed_files
 update_changed_files0
 update_changed_files1
 xlisting(Arg1)
 xlisting
 xlisting_inner(Arg1, Arg2, Arg3)