Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/typesystem/mpred_type_args.pl
PublicShow source
 to_format_type(?COL, ?FT) is semidet
Converted To Format Type.

genls-GenlDenotesSpecInstances

 assert_argIsa(?Prop, ?N, ?Type) is semidet
assert Argument (isa/2).
 assert_predArgTypes(?ArgTs) is semidet
assert Predicate Argument Types.
 assert_predArgTypes_fa(?VALUE1, ?ArgTs) is semidet
assert Predicate Argument Types Functor-Arity.
 assert_predArgTypes_l(?F, ?L, ?ArgsList) is semidet
assert Predicate Argument Types (List version).
 assert_predArgTypes_from_right(?F, ?A, :TermArgsList) is semidet
assert Predicate Argument Types Converted From right.
 assert_predArgTypes_from_left(?F, ?A, :TermType) is semidet
assert Predicate Argument Types Converted From left.
 term_is_ft(:TermTerm, :TermType) is semidet
Term If Is A Format Type.
 term_is_ft_how(?Term, ?Type) is semidet
Term If Is A Format Type How.
 trans_subft(?FT, ?FT) is semidet
Trans Subft.
 is_id(?ID) is semidet
If Is A Id.
 is_boolean(?VALUE1) is semidet
If Is A Boolean.
 is_declarations(?C) is semidet
If Is A Declarations.
 is_spec(?T) is semidet
If Is A Spec.
 is_rest(:TermARG1) is semidet
If Is A Rest.
 is_rest_of(?Type, :TermARG2) is semidet
If Is A Rest Of.
 is_list_of(?Type, :TermTerm) is semidet
If Is A List Of.
 pl_arg_type(?Arg, ?Type) is semidet
Pl Argument Type.
 as_one_of(?Type, ?TypeO) is semidet
Converted To One Of.
 argIsa_op_call(?Op, :TermFunc, ?N, ?Type) is semidet
Argument (isa/2) Oper. call.
 correctArgsIsa(?In, ?Out) is semidet
correct Arguments (isa/2).
 correctArgsIsa(?VALUE1, :TermNC, :TermNC) is semidet
correct Arguments (isa/2).

correctArgsIsa0(_,G,G):- (\+ t_l:infMustArgIsa), (is_release; bad_idea; skipWrapper; t_l:infSkipArgIsa),!. correctArgsIsa(_,G,G):-!.

 list_to_callform(?ARGS, ?Functor, ?CALL) is semidet
List Converted To Callform.
 correctArgsIsa00(?VALUE1, :TermProp, :TermAA) is semidet
correct Arguments (isa/2) Primary Helper Primary Helper.
 discoverAndCorrectArgsIsa(?Op, ?Prop, ?VALUE3, ?ArgsIn, ?ArgsOut) is semidet
discover and correct Arguments (isa/2).
 discoverAndCorrectArgsIsa_from_right(?Op, ?Prop, ?N1, ?In, ?Out) is semidet
discover and correct Arguments (isa/2) Converted From right.
 discoverAndCorrectArgsIsa_from_left(?O, ?Prop, ?N1, :TermARG4, ?VALUE5) is semidet
discover and correct Arguments (isa/2) Converted From left.
 is_ephemeral(:TermVar) is semidet
If Is A Ephemeral.
 is_valuespec(?G) is semidet
If Is A Valuespec.
 evaluatableArg(?AA, ?VALUE2) is semidet
Evaluatable Argument.
 evaluatableFunctor(?VALUE1) is semidet
Evaluatable Functor.
 correctAnyType(?VALUE1, ?A, ?VALUE3, ?A) is semidet
Correct Any Type.
 correctFormatType(?Op, ?A, ?Type, ?AA) is semidet
Correct Format Type.
 checkAnyType(?Op, ?A, ?Type, ?AA) is semidet
Check Any Type.
 correctAnyTypeOrFail(?Op, ?A, ?Type, ?AA) is semidet
Correct Any Type Or Fail.
 correctType_gripe(?Op, ?A, ?Fmt, ?AA) is semidet
Correct Type Gripe.
 is_renamed_to(?A, ?AA) is semidet
If Is A Renamed Converted To.
 correctType(?Op, ?A, ?Type, ?AA) is semidet
Correct Type.
 correctType0(?Op, :TermA, :TermType, :TermAA) is semidet
Correct Type Primary Helper.
 correctTypeArg(?Op, ?Type, ?A, ?AA) is semidet
Correct Type Argument.
 must_equals_correct(?Op, ?A, ?AA) is semidet
Must Be Successfull Equals Correct.
 must_equals(?A, ?AA) is semidet
Must Be Successfull Equals.
 deduced_is_tCol(?VALUE1) is semidet
Deduced If Is A True Structure Col.
 any_to_relation(?A, ?F) is det
Any Converted To Relation.
 roll_dice(?Rolls, ?VALUE2, ?Bonus, ?Result) is semidet
Roll Dice.

Undocumented predicates

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

 show_count(Arg1)
 argIsa_known(Arg1, Arg2, Arg3)
 atom_to_value(Arg1, Arg2)
 mpred_type_args_file