Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/common_logic/common_logic_snark.pl
PublicShow source

% Provides a specific compilation API for KIF axioms %

% Logicmoo Project PrologMUD: A MUD server written in Prolog % Maintainer: Douglas Miles % Dec 13, 2035 %

 is_not_entailed(?CLIF) is det
If Is A Not Entailed. A good sanity Test for required absence of specific side-effect entailments
 kif_to_boxlog(+Fml, +Why, -Datalog) is det
Knowledge Interchange Format Converted To Datalog.
 kif_to_boxlog(+Fml, ?KB, +Why, -Datalog) is det
Knowledge Interchange Format Converted To Datalog.

Re-exported predicates

The following predicates are re-exported from other modules

 is_units_h(?A) is semidet
If Is A Units Head.

Undocumented predicates

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

 avoidHeadLoop(Arg1, Arg2)
 body_for_mpred_1(Arg1, Arg2, Arg3, Arg4, Arg5)
 body_for_mpred_2(Arg1, Arg2, Arg3, Arg4, Arg5)
 body_for_pfc(Arg1, Arg2, Arg3, Arg4, Arg5)
 boxlog_to_pfc(Arg1, Arg2)
 boxlog_to_pfc_pass_2(Arg1, Arg2, Arg3)
 boxlog_to_pfc_pass_3(Arg1, Arg2, Arg3, Arg4)
 boxlog_to_pfc_pass_4(Arg1, Arg2)
 can_use_hack(Arg1)
 conjoin_maybe(Arg1, Arg2, Arg3)
 correct_mode(Arg1, Arg2, Arg3)
 did_use_hack(Arg1)
 get_op_alias_compile(Arg1, Arg2)
 get_reln(Arg1, Arg2)
 head_for_skolem(Arg1, Arg2, Arg3)
 is_unit(Arg1, Arg2)
 is_unit
 is_unit(Arg1, Arg2, Arg3)
 is_unit(Arg1, Arg2, Arg3, Arg4)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)
 is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10)
 is_units_b(Arg1)
 make_must_ground(Arg1, Arg2, Arg3)
 make_vg(Arg1, Arg2, Arg3, Arg4)
 overlaping(Arg1, Arg2, Arg3)
 isk(Arg1, Arg2)
 isk_bind(Arg1, Arg2, Arg3)
 overlapingFunctors(Arg1, Arg2)
 reduce_literal(Arg1, Arg2)
 set_clause_compile(Arg1)
 vg(Arg1)
 vg(Arg1, Arg2, Arg3)
 nnf(Arg1, Arg2, Arg3)
 pnf(Arg1, Arg2, Arg3)
 cf(Arg1, Arg2, Arg3, Arg4, Arg5)
 atom_compat(Arg1, Arg2, Arg3)
 axiom_lhs_to_rhs(Arg1, Arg2, Arg3)
 b_d_p(Arg1, Arg2)
 boxRule(Arg1, Arg2, Arg3)
 cf_to_flattened_clauses(Arg1, Arg2, Arg3, Arg4)
 cf_to_flattened_clauses_0(Arg1, Arg2, Arg3, Arg4)
 cirRule(Arg1, Arg2, Arg3)
 clausify(Arg1, Arg2, Arg3, Arg4)
 clean_repeats_d(Arg1, Arg2)
 cnf(Arg1, Arg2, Arg3)
 cnf1(Arg1, Arg2, Arg3)
 correct_boxlog(Arg1, Arg2, Arg3, Arg4)
 correct_boxlog_0(Arg1, Arg2, Arg3, Arg4)
 correct_cls(Arg1, Arg2, Arg3)
 correct_cls0(Arg1, Arg2, Arg3)
 corrected_modal(Arg1, Arg2, Arg3)
 corrected_modal0(Arg1, Arg2, Arg3)
 corrected_modal_recurse(Arg1, Arg2, Arg3)
 corrected_modal_recurse0(Arg1, Arg2, Arg3)
 ct_op(Arg1)
 delete_sublits(Arg1, Arg2, Arg3)
 to_modal1(Arg1, Arg2, Arg3)
 is_skolem_setting(Arg1)
 demodal_sents(Arg1, Arg2, Arg3)
 diaRule(Arg1, Arg2, Arg3)
 dnf(Arg1, Arg2, Arg3)
 dnf1(Arg1, Arg2, Arg3)
 expand_cl(Arg1, Arg2, Arg3)
 flattenConjs(Arg1, Arg2, Arg3)
 flatten_clauses(Arg1, Arg2)
 get_quantifier_isa(Arg1, Arg2, Arg3)
 inclause(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 incorrect_cl(Arg1, Arg2)
 invert_modal(Arg1, Arg2, Arg3)
 is_lit_atom(Arg1)
 is_sent_op_modality(Arg1)
 logical_neg(Arg1, Arg2, Arg3)
 logical_pos(Arg1, Arg2, Arg3)
 logically_matches(Arg1, Arg2, Arg3)
 make_1_cl(Arg1, Arg2, Arg3, Arg4)
 make_clause_from_set(Arg1, Arg2, Arg3)
 make_clause_set(Arg1, Arg2, Arg3)
 make_clauses(Arg1, Arg2, Arg3)
 make_each(Arg1, Arg2, Arg3)
 modal2sent(Arg1, Arg2)
 mpred_quf(Arg1, Arg2)
 mpred_quf_0(Arg1, Arg2)
 neg_op(Arg1)
 negate(Arg1, Arg2, Arg3)
 negate0(Arg1, Arg2, Arg3)
 negate_one(Arg1, Arg2, Arg3)
 negate_one_maybe(Arg1, Arg2, Arg3)
 nnf(Arg1, Arg2, Arg3)
 nnf(Arg1, Arg2, Arg3, Arg4, Arg5)
 nonegate(Arg1, Arg2, Arg3)
 nonvar_unify(Arg1, Arg2)
 notin(Arg1, Arg2)
 nowrap_one(Arg1, Arg2, Arg3)
 pnf(Arg1, Arg2, Arg3)
 pnf(Arg1, Arg2, Arg3, Arg4)
 putin(Arg1, Arg2, Arg3)
 removeQ(Arg1, Arg2, Arg3)
 removeQ(Arg1, Arg2, Arg3, Arg4)
 removeQ_LC(Arg1, Arg2, Arg3, Arg4)
 removes_literal(Arg1, Arg2)
 share_scopes(Arg1, Arg2)
 simplify_atom(Arg1, Arg2)
 simplify_cheap(Arg1, Arg2)
 simplify_cheap_must(Arg1, Arg2)
 nnf_args(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
 third_order(Arg1)
 to_poss(Arg1, Arg2, Arg3)
 to_regular_cl(Arg1, Arg2, Arg3, Arg4)
 unbuiltin_negate(Arg1, Arg2, Arg3)
 unbuiltin_negate(Arg1, Arg2, Arg3, Arg4)
 until_op(Arg1)
 variants_are_equal(Arg1, Arg2, Arg3)
 kw_to_vars(Arg1, Arg2)