- 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