Did you know ... Search Documentation:
Pack logicmoo_base -- prolog/logicmoo/typesystem/mpred_type_constraints.pl
PublicShow source
 extract_conditions(+PFCSentence, -Conds) is semidet
Datalog Preconditional Expansion.
 relax(:GoalG) is det
Relaxen.
 lazy(:GoalG) is semidet
Lazy.
 lazy(?V, :GoalG) is semidet
Lazy.
 thaw(?G) is semidet
Thaw.
 inst_cond(?X, ?List) is semidet
An attributed variable with attribute value DVar has been

assigned the value Y

Inst Isac.

 dif_objs(?A, ?B) is semidet
Mdif.

dif_objs(A,B):- tlbugger:attributedVars,!,dif(A,B).

 add_cond(?Var, ?HintE) is semidet
Add Iza.
 chk_cond(?E, ?Cs) is semidet
Isac Checking.
 call_cond(?VALUE1, :TermARG2) is semidet
Isac Gen.
 attribs_to_atoms(?ListA, ?List) is semidet
Attribs Converted To Atoms.
 map_subterms(:PRED2Pred, ?I, ?O) is semidet
Map Subterms.
 condz_to_isa(:TermAA, :TermAB) is semidet
iza Converted To (iprops/2).
 attribs_to_atoms0(?Var, ?Isa) is semidet
Attribs Converted To Atoms Primary Helper.
 min_cond_l(?List, ?ListO) is semidet
min (sub_super/2) (List version).
 max_cond_l(?List, ?ListO) is semidet
max (sub_super/2) (List version).
 isa_pred_l(:PRED2Pred, ?List, ?ListO) is semidet
(iprops/2) Predicate (List version).
 isa_pred_l(:PRED2Pred, ?UPARAM2, ?List, ?UPARAM4) is semidet
(iprops/2) Predicate (List version).
 min_cond(:TermHintA, ?HintE, ?HintE) is semidet
min (sub_super/2).
 max_cond(:TermHintA, ?HintE, ?HintE) is semidet
max (sub_super/2).
 unrelax(?X) is semidet
Domain Labeling (residuals).
 iz_member(:GoalG) is semidet
Domain Member.
 attempt_attribute_args(?AndOr, ?Hint, :TermVar) is semidet
Attempt Attribute Arguments.
 attempt_attribute_args(?AndOr, ?Hint, ?F, ?N, :TermARG5) is semidet
Attempt Attribute Arguments.
 attempt_attribute_one_arg(?Hint, ?F, ?N, ?A) is semidet
Attempt Attribute One Argument.
 same(?X, ?Y) is semidet
Same.
 samef(?X, ?Y) is semidet
Samef.
 to_functor(?A, ?O) is semidet
Converted To Functor.
 arg_to_var(?Type, ?String, ?Var) is semidet
Argument Converted To Variable.
 same_arg(?How, ?X, ?Y) is semidet
Same Argument.
 promp_yn(?Fmt, ?A) is semidet
Promp Yn.
 iz(?X, ?Dom) is semidet
Domain.
 extend_iz_member(?X, ?DomL) is semidet
Extend Domain.
 extend_iz(?X, ?DomE) is semidet
Extend Domain.
 init_iz(?X, ?Dom) is semidet
Init Domain.
 cmp_memberchk_0(?X, ?Y) is semidet
Cmp Memberchk.
 cmp_memberchk_00(?Item, :TermX1) is semidet
Cmp Memberchk Primary Helper.
 type_size(?VALUE1, :PRED1000VALUE2) is semidet
Type Size.
 comp_type(?Comp, ?Col1, ?Col2) is semidet
Comp Type.

Undocumented predicates

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

 constrain(Arg1)
 enforce(Arg1)
 relax_goal(Arg1, Arg2)
 mpred_type_constraints_file
 enforce_bound(Arg1)
 args_enforce_bound(Arg1, Arg2)
 constrain(Arg1)
 args_constrain(Arg1, Arg2)
 does_exist(Arg1)
 enforce(Arg1)
 args_enforce(Arg1, Arg2)
 args_remove_constraints(Arg1, Arg2)
 isNamed_impl(Arg1, Arg2)