Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo_clif.pl
PublicShow source

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

Re-exported predicates

The following predicates are re-exported from other modules

 is_units_h(?A) is semidet
If Is A Units Head.
 assert_kif(?String) is det
Assert Knowledge Interchange Format.
 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)
 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_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)
 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)