hybrid_tPredStubImpl(?VALUE1) is semidet

Hybrid True Structure Predicate Stub Implimentation.

 make_builtin(:TermF) is semidet

Make Builtin.

 create_stub_body(?Head, ?Stub) is semidet

Create Stub Body.

 create_stub_body(?VALUE1, ?Head, ?Stub) is semidet

Create Stub Body.

 erase_mpred_storage_op(?Head) is semidet

Erase Managed Predicate Storage Oper..

 really_add_mpred_storage_op(?Head) is semidet

Really Add Managed Predicate Storage Oper..

 renumbervarZ(?H, ?GGG) is semidet

Renumbervar Z.

 is_same_clauses(?Head, ?NEWHBLISTN, ?HBLISTN) is semidet

If Is A Same Clauses.

 must_same_clauses(?Head, ?HBLISTN) is semidet

Must Be Successfull Same Clauses.

 is_same_clauses(?Head, ?HBLISTN) is semidet

If Is A Same Clauses.

 is_tCol(?V) is semidet

If Is A True Structure Col.

 is_proc_only(?V) is semidet

If Is A Proc.

 is_call_op(?Var) is semidet

If Is A Call Oper..

 is_non_call_op(?Op) is semidet

If Is A Not Call Oper..

 is_mpred_change_op(:TermARG1) is semidet

If Is A Managed Predicate Change Oper..

 is_mpred_op(:TermOp) is semidet

If Is A Managed Predicate Oper..

 last_arg_ground(?HEAD) is semidet

Last Argument Ground.

 last_arg_ground(?VALUE1, ?A, ?VALUE3) is semidet

Last Argument Ground.

 call_provided_mpred_storage_op(?UPARAM1, :GoalH, ?UPARAM3) is semidet

Call Provided Managed Predicate Storage Oper..

 test_call_cut is semidet

Test Call Cut.

 must_op(?Op, :GoalH) is semidet

Must Be Successfull Oper..

 call_wdmsg(?P, ?DB) is semidet

Call Wdmsg.

 call_wdmsg(?P, ?DB, ?VALUE3, ?A) is semidet

Call Wdmsg.

 no_rescans is semidet

No Rescans.

 agenda_rescan_mpred_prop is semidet

Agenda Rescan Managed Predicate Props.

 first_mpred_prop(:TermARG1) is semidet

First Managed Predicate Props.

 mpred_prop_ordered(?VALUE1, ?VALUE2) is semidet

Managed Predicate Prop Ordered.

 provide_clauses_list(?Head, ?HBLISTO) is semidet

Provide Clauses List.

 get_cc(?PI, ?NC) is semidet

Get Cc.

 tf_result(:Goal, +TF) is semidet

True/false Result.

 assert_mpred_t(:TermDB) is semidet

Assert Managed Predicate True Stucture.

 mpred_t_mpred_storage_clauses_facts(?VALUE1, ?VALUE2, ?VALUE3) is semidet

Managed Predicate True Structure Managed Predicate Storage Clauses Facts.

 mpred_t_storage_op(?Op, :TermH) is semidet

Managed Predicate True Structure Storage Oper..

 mud_call_store_op(?Op, :TermOPRAND) is semidet

Application Call Storage Oper..

 wff_check_failed(?VALUE1, ?DB, ?WHY) is semidet

Well-formed Formula Check Failed.

 wff_check_mpred_t_throw(?DB) is semidet

Well-formed Formula Check Managed Predicate True Structure Throw.

 mpred_t_call_op(?Op, ?X) is semidet

Managed Predicate True Structure Call Oper..

 call_for_literal(?VALUE1, ?VALUE2, ?HEAD) is semidet

Call For Literal.

 call_for_literal_db(?F, ?A, ?HEAD) is semidet

Call For Literal Database.

 cwdl(:GoalCALL, +DEEP7) is semidet

Cwdl.

 call_for_literal_ideep_ilc(?HEAD) is semidet

Call For Literal Ideep Inside Of Loop Checking.

 call_for_literal_db0(?F, ?A, ?HEAD) is semidet

Call For Literal Database Primary Helper.

 call_for_literal_db2(?VALUE1, ?VALUE2, ?HEAD) is semidet

Call For Literal Database Extended Helper.

 out_of_mpred_t(?VALUE1) is semidet

Out Of Managed Predicate True Stucture.

 call_rule_db(?F, ?A, ?HEAD) is semidet

Call Rule Database.

 call_mpred_body(?HEAD, :GoalBODY) is semidet

Call Managed Predicate Body.

 call_mpred_body_ilc(?HEAD, :GoalBODY) is semidet

Call Managed Predicate Body Inside Of Loop Checking.

 mustIsa(?VALUE1, ?VALUE2) is semidet

Must Be Successfull (isa/2).

 constrain_args(?HEAD) is semidet

Constrain Arguments.

 constrain_args(?P, ?AR) is semidet

Constrain Arguments.

 registerCycPredMtWhy_3(?CM, ?M, ?PI, :TermF) is semidet

Register Cyc Predicate User Microtheory Generation Of Proof Helper Number 3..

 registerCycPredMtWhy_3(?M, ?PI, :TermF) is semidet

Register Cyc Predicate User Microtheory Generation Of Proof Helper Number 3..

 registerCycPredMtWhy(:GoalP) is semidet

Register Cyc Predicate User Microtheory Generation Of Proof.

 ensure_universal_stub_plus_mt_why(?F, ?A2) is semidet

Ensure Universal Stub Plus User Microtheory Generation Of Proof.

Undocumented predicates

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

 mpred_stubs_file