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

Re-exported predicates

The following predicates are re-exported from other modules

 must(:Goal) is nondet
Goal must succeed at least once once

Wrap must/1 over parts of your code you do not trust If your code fails.. it will rewind to your entry block (at the scope of this declaration) and invoke rtrace/1 . If there are 50 steps to your code, it will save you from pushing creep 50 times. Instead it turns off the leash to allow you to trace with your eyeballs instead of your fingers.

% must( :Goal) is semidet.

Must Be Successfull.

 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.
 locally_hide_each(:Fact, :Call) is nondet
Temporally Disable Fact with Fact :- !,fail.

use locally_hide_each/3 if respecting Non-determism is important (slightly slower?)

 transitive(:PRED2X, +A, -B) is nondet
Transitive.

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_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)
 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_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)