Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/typesystem/mpred_hooks.pl
PublicShow source
 isCycPredArity_ignoreable(?VALUE1, ?VALUE2) is semidet
If Is A Cyc Predicate Arity Ignoreable.
 which_t(?VALUE1) is semidet
Which True Stucture.
 holds_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Holds True Stucture.
 holds_t(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Holds True Stucture.
 holds_t(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Holds True Stucture.
 holds_t(?P, ?A1, ?A2, ?A3, ?A4) is semidet
Holds True Stucture.
 holds_t(?P, ?A1, ?A2, ?A3) is semidet
Holds True Stucture.
 holds_t(?P, ?A1, ?A2) is semidet
Holds True Stucture.
 holds_t(?P, ?A1) is semidet
Holds True Stucture.
 holds_relaxed_t(?P, ?A1, ?A2) is semidet
Holds Relaxed True Stucture.
 holds_relaxed_0_t(?DBS, ?P, ?A1, ?A2) is semidet
holds relaxed Primary Helper True Stucture.
 holds_t(:TermCALL) is semidet
Holds True Stucture.
 holds_plist_t(?P, ?LIST) is semidet
Holds Plist True Stucture.
 add_arg_parts_of_speech(?F, ?N, :TermARG3, :TermARG4) is semidet
Add Argument Parts Of Speech.
 argIsa_call_or_undressed(?F, ?N, ?Obj, ?Obj) is semidet
Argument (isa/2) call or undressed.
 verb_after_arg(?VALUE1, ?VALUE2, :PRED1VALUE3) is semidet
Verb After Argument.
 print_sentence(?Proof) is semidet
Print Sentence.
 fix_sentence(?X, ?X) is semidet
Fix Sentence.
 relax_term(?P, ?P, ?Aic, ?Aic, ?Bic, ?Bic) is semidet
Relax Term.
 callable_tf(?F, ?A) is semidet
Callable True/false.
 call_whichlist_t(?UPARAM1, :GoalGOAL2, ?List) is semidet
Call Whichlist True Stucture.
 call_which_t(?DBS, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet
Call Which True Stucture.
 call_which_t(?UPARAM1, :PRED1P, ?A1) is semidet
Call Which True Stucture.
 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet
Call User Microtheory True Stucture.
 call_mt_t(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet
Call User Microtheory True Stucture.
 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet
Extended Call True Stucture.
 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet
Extended Call True Stucture.
 xcall_t(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Extended Call True Stucture.
 xcall_t(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Extended Call True Stucture.
 xcall_t(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Extended Call True Stucture.
 xcall_t(:PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Extended Call True Stucture.
 xcall_t(:PRED3P, ?A1, ?A2, ?A3) is semidet
Extended Call True Stucture.
 xcall_t(:PRED2P, ?A1, ?A2) is semidet
Extended Call True Stucture.
 xcall_t(:PRED1P, ?A1) is semidet
Extended Call True Stucture.
 xcall_t(:GoalP) is semidet
Extended Call True Stucture.
 assertion_t(?Call) is semidet
Assertion True Stucture.
 which_f(?VALUE1) is semidet
Which False.
 holds_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Holds False.
 holds_f(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Holds False.
 holds_f(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Holds False.
 holds_f(?P, ?A1, ?A2, ?A3, ?A4) is semidet
Holds False.
 holds_f(?P, ?A1, ?A2, ?A3) is semidet
Holds False.
 holds_f(?P, ?A1, ?A2) is semidet
Holds False.
 holds_f(:PRED1P, ?A1) is semidet
Holds False.
 holds_relaxed_f(?P, ?A1, ?A2) is semidet
Holds Relaxed False.
 holds_relaxed_0_f(?DBS, :PRED4P, ?A1, ?A2) is semidet
holds relaxed Primary Helper False.
 holds_f(:TermCALL) is semidet
Holds False.
 holds_f_p2(?P, ?LIST) is semidet
Holds False Pred Extended Helper.
 mpred_f(?List) is semidet
Managed Predicate False.
 call_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Call False.
 call_f(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Call False.
 call_f(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Call False.
 call_f(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Call False.
 call_f(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet
Call False.
 call_f(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet
Call False.
 call_f(?UPARAM1, :PRED1P, ?A1) is semidet
Call False.
 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet
Call User Microtheory False.
 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet
Call User Microtheory False.
 call_mt_f(?VALUE1, ?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Call User Microtheory False.
 call_mt_f(?UPARAM1, :PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Call User Microtheory False.
 call_mt_f(?UPARAM1, :PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Call User Microtheory False.
 call_mt_f(?UPARAM1, :PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Call User Microtheory False.
 call_mt_f(?UPARAM1, :PRED3P, ?A1, ?A2, ?A3) is semidet
Call User Microtheory False.
 call_mt_f(?UPARAM1, :PRED2P, ?A1, ?A2) is semidet
Call User Microtheory False.
 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8, ?A9) is semidet
Extended Call False.
 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7, ?A8) is semidet
Extended Call False.
 xcall_f(?P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7) is semidet
Extended Call False.
 xcall_f(:PRED6P, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6) is semidet
Extended Call False.
 xcall_f(:PRED5P, ?A1, ?A2, ?A3, ?A4, ?A5) is semidet
Extended Call False.
 xcall_f(:PRED4P, ?A1, ?A2, ?A3, ?A4) is semidet
Extended Call False.
 xcall_f(:PRED3P, ?A1, ?A2, ?A3) is semidet
Extended Call False.
 xcall_f(:PRED2P, ?A1, ?A2) is semidet
Extended Call False.
 xcall_f(:PRED1P, ?A1) is semidet
Extended Call False.
 xcall_f(:GoalP) is semidet
Extended Call False.
 assertion_f(:TermAH) is semidet
Assertion False.

Undocumented predicates

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

 differentTerms(Arg1, Arg2)
 compute_value(Arg1, Arg2)
 compute_value_no_dice(Arg1, Arg2)
 flatten_append(Arg1, Arg2, Arg3)
 if_result(Arg1, Arg2)
 insert_into(Arg1, Arg2, Arg3, Arg4)
 into_plist(Arg1, Arg2)
 into_plist_arities(Arg1, Arg2, Arg3, Arg4)
 inverse_args(Arg1, Arg2)
 list_update_op(Arg1, Arg2, Arg3)
 mpred_fact_arity(Arg1, Arg2)
 mpred_fa_call(Arg1, Arg2, Arg3)
 never_mpred_tcall(Arg1)
 prologHybridFact(Arg1)
 replace_arg(Arg1, Arg2, Arg3, Arg4)
 replace_nth_arglist(Arg1, Arg2, Arg3, Arg4)
 replace_nth_ref(Arg1, Arg2, Arg3, Arg4, Arg5)
 same_vars(Arg1, Arg2)
 update_value(Arg1, Arg2, Arg3)