assert_kif(?String) is det

Assert Knowledge Interchange Format.

 assert_kif_dolce(?String) is det

Assert Knowledge Interchange Format Dolce.

 kbp_t(?VALUE1) is semidet

Knowledge Base P- True Stucture.

 kb_f(?X) is semidet

Knowledge Base False.

 get_b_dnf(?DNFA, ?DNFAO) is semidet

Get Backtackable Disjunctive Normal Form.

 get_dnf_props(?TRUTH, ?VALUE2, ?DNFC, ?VARS, ?MT, :TermDNFCO) is semidet

Get Disjunctive Normal Form Props.

 get_props(?TRUTH, ?VARS, ?VALUE3, :TermVARSP) is semidet

Get Props.

 get_varsp(?VARS, ?VARS) is semidet

Get Varsp.

 tiny_kb_ASSERTION(?PLIST, ?PROPS) is semidet

Tiny Knowledge Base Assertion.

 big_kb_ASSERTION(?VALUE1, ?VALUE2) is semidet

Big Knowledge Base Assertion.

 get_assertions(?PLIST, ?PROPS) is semidet

Get Assertions.

 nv1000(?S) is semidet

Nv Secondary Helper Primary Helper Primary Helper Primary Helper.

 kb_t(?Call) is semidet

Knowledge Base True Stucture.

 kb_t(?AH, ?VALUE2, ?PLIST) is semidet

Knowledge Base True Stucture.

 link_to_holds2(?Pred, ?TargetPred) is semidet

Link Converted To Holds Extended Helper.

 link_to_holds2(?Pred, ?M, ?TargetPred) is semidet

Link Converted To Holds Extended Helper.

 link_to_holds(?Pred, ?TargetPred) is semidet

Link Converted To Holds.

 link_to_holds(?Pred, ?M, ?TargetPred) is semidet

Link Converted To Holds.

 link_to_holds_DYNAMIC(?Pred, ?TargetPred) is semidet

Link Converted To Holds Dynamic.

 link_to_holds_list(?Pred, ?TargetPred) is semidet

Link Converted To Holds List.

 with_el_holds_enabled(:Goal) is semidet

Using El Holds Enabled.

 with_el_holds_disabled(:Goal) is semidet

Using El Holds Disabled.

 cyckb_t(?Compound) is semidet

Cyckb True Stucture.

 noGenlPreds(?X) is semidet

No Genl Predicates.

 cyckb_t_via_genlPreds(:TermGP) is semidet

Cyckb True Structure Via Genl Predicates.

 cyckb_t_via_implies(?CONSEQ) is semidet

Cyckb True Structure Via Implies.

 cyckb_t_call(?ANTE) is semidet

Cyckb True Structure Call.

 cyckb_t_implies(?ANTE, ?CONSEQ) is semidet

Cyckb True Structure Implies.

 kbp_t_list_prehook(?PLIST, ?PLIST) is semidet

Knowledge Base P- True Structure List Prehook.

:- kb_shared(kbp_t_list_prehook/2).

 kbp_t_list(?PLIST) is semidet

Knowledge Base P- True Structure List.

 kbp_t_list(?PLIST, ?Proof) is semidet

Knowledge Base P- True Structure List.

 kbp_t_list(?PLIST, ?Props, ?Proof) is semidet

Knowledge Base P- True Structure List.

 kbp_t_list_0(?PLIST, ?Props, ?Proof) is semidet

Knowledge Base P- True Structure list Primary Helper.

 kbp_t_list_1(?PLIST, :TermMT, ?Proof) is semidet

Knowledge Base P- True Structure list Secondary Helper.

 prove_calllist(?Functor, ?CallList, ?Proof) is semidet

Prove Calllist.

 kb_mt(?C, ?MT) is semidet

Knowledge Base User Microtheory.

 proof_from_clause(?Head, ?VALUE2, ?Head) is semidet

Proof Converted From Clause.

 move_kb_assertions_matching(?PLIST, ?Match, ?Replace, ?Where) is semidet

Move Knowledge Base Assertions Matching.

 assert_to_db_list(?HOLDS, ?PLIST) is semidet

Assert Converted To Database List.

 with_kb_assertions_matching(?PLIST, ?Proof, :Goal) is semidet

Using Knowledge Base Assertions Matching.

 kbp_to_mpred_t is semidet

Knowledge Base P- Converted To Managed Predicate True Stucture.

 kbp_to_mpred_0 is semidet

Knowledge Base P- Converted To Managed Predicate Primary Helper.

 kbp_to_mpred_nomore is semidet

Knowledge Base P- Converted To Managed Predicate No More.

 move_implied is semidet

Move Implied.

 hide_term_rewrites is semidet

Hide Term Rewrites.

 hide_empty_strings is semidet

Hide Empty Strings.

 convert_easy_strings is semidet

Convert Easy Strings.

 convert_easy_strings2 is semidet

Convert Easy Strings Extended Helper.

 drain_assert_next_buffer is semidet

Drain Assert Next Buffer.

 write_assertions is semidet

Write Assertions.

Undocumented predicates

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

 cyckb_t(Arg1, Arg2, Arg3)

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

 el_holds_DISABLED_KB

 cycAssert(Arg1)

 cycAssert(Arg1, Arg2)

 assert_next_queue(Arg1)