clif syntax to be recocogized via our CycL/KIF handlers
Logicmoo Project: A LarKC Server written in Prolog
Maintainer: Douglas Miles
Dec 13, 2035
?- ensure_loaded(library(logicmoo_clif))
.
:- set_prolog_flag(verbose_autoload,true)
.
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)
- qualify_nesc(Arg1, Arg2)
- 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)
- kbp_t(Arg1)
- with_el_holds_disabled(Arg1)
- noGenlPreds(Arg1)
- cyckb_t(Arg1, Arg2, Arg3)
- link_to_holds2(Arg1, Arg2)
- assert_kif(Arg1)
- assert_kif_dolce(Arg1)
- assert_next_queue(Arg1)
- assert_to_db_list(Arg1, Arg2)
- big_kb_ASSERTION(Arg1, Arg2)
- convert_easy_strings
- convert_easy_strings2
- cyckb_t(Arg1)
- cyckb_t(Arg1, Arg2)
- cyckb_t(Arg1, Arg2, Arg3)
- cyckb_t(Arg1, Arg2, Arg3, Arg4)
- cyckb_t(Arg1, Arg2, Arg3, Arg4, Arg5)
- cyckb_t(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- cyckb_t(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- cyckb_t(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
- cyckb_t_call(Arg1)
- cyckb_t_implies(Arg1, Arg2)
- cyckb_t_via_genlPreds(Arg1)
- cyckb_t_via_implies(Arg1)
- drain_assert_next_buffer
- el_holds_DISABLED_KB
- get_assertions(Arg1, Arg2)
- get_b_dnf(Arg1, Arg2)
- get_dnf_props(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- get_props(Arg1, Arg2, Arg3, Arg4)
- cycAssert(Arg1)
- cycAssert(Arg1, Arg2)
- get_varsp(Arg1, Arg2)
- hide_empty_strings
- hide_term_rewrites
- kb_f(Arg1)
- kb_mt(Arg1, Arg2)
- kb_t(Arg1)
- kb_t(Arg1, Arg2, Arg3)
- kbp_t(Arg1)
- kbp_t_list(Arg1)
- kbp_t_list(Arg1, Arg2)
- kbp_t_list(Arg1, Arg2, Arg3)
- kbp_t_list_0(Arg1, Arg2, Arg3)
- kbp_t_list_1(Arg1, Arg2, Arg3)
- kbp_t_list_prehook(Arg1, Arg2)
- kbp_to_mpred_0
- kbp_to_mpred_nomore
- kbp_to_mpred_t
- link_to_holds(Arg1, Arg2)
- link_to_holds(Arg1, Arg2, Arg3)
- link_to_holds2(Arg1, Arg2)
- link_to_holds2(Arg1, Arg2, Arg3)
- link_to_holds_DYNAMIC(Arg1, Arg2)
- link_to_holds_list(Arg1, Arg2)
- move_implied
- move_kb_assertions_matching(Arg1, Arg2, Arg3, Arg4)
- noGenlPreds(Arg1)
- nv1000(Arg1)
- proof_from_clause(Arg1, Arg2, Arg3)
- prove_calllist(Arg1, Arg2, Arg3)
- tiny_kb_ASSERTION(Arg1, Arg2)
- with_el_holds_disabled(Arg1)
- with_el_holds_enabled(Arg1)
- with_kb_assertions_matching(Arg1, Arg2, Arg3)
- write_assertions
- load_clif(Arg1)
- kif_process(Arg1)
- kif_io(Arg1, Arg2)
- kif_process(Arg1, Arg2)
- kif_read(Arg1, Arg2, Arg3)
- is_not_entailed(Arg1)
- 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)
- kif_test(Arg1)
- test_boxlog(Arg1)
- test_boxlog(Arg1, Arg2)
- test_defunctionalize(Arg1)