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)