% 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

 subsT_each(?In, :TermARG2, ?In) is det

Subs True Stucture Each.

 not_mudEquals(?X, ?Y) is det

Not Application Equals.

 type_of_var(?Fml, ?Var, ?Type) is det

Type Of Variable.

 kif_to_boxlog(?Wff, ?Out) is det

Knowledge Interchange Format Converted To Datalog.

====== kif_to_boxlog(+Wff,-NormalClauses):-

 kif_to_boxlog(+Fml, -Datalog) is det

Knowledge Interchange Format Converted To Datalog.

 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.

 why_to_id(?Term, ?Wff, ?IDWhy) is det

Generation Of Proof Converted To Id.

 kif_ask_sent(?VALUE1) is det

Knowledge Interchange Format Complete Inference Sentence.

 kif_ask(:TermP) is det

Knowledge Interchange Format Complete Inference.

 kif_ask(?VALUE1, ?VALUE2) is det

Knowledge Interchange Format Complete Inference.

 kb_incr(?WffNum1, ?WffNum2) is det

Knowledge Base Incr.

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)

 is_units_h(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)

 pfn4(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)

 pfn4(Arg1, Arg2, Arg3)

 pfn4(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)