protocol
termp¶
Prolog term utility predicates protocol.
static(no dependencies on other entities)
Public interface¶
depth/2¶
True if the depth of Term is Depth. The depth of atomic terms is zero; the depth of a compound term is one plus the maximum depth of its sub-terms.
staticdepth(Term,Depth)depth(@term,?integer) - zero_or_oneground/1¶
True if the argument is ground.
staticground(Term)ground(@term) - zero_or_onenew/1¶
Creates a new term instance (if meaningful).
staticnew(Term)new(-nonvar) - zero_or_oneoccurs/2¶
True if the variable occurs in the term.
staticoccurs(Variable,Term)occurs(@var,@term) - zero_or_onesubsumes/2¶
The first term subsumes the second term.
staticsubsumes(General,Specific)subsumes(?term,@term) - zero_or_onesubterm/2¶
The first term is a subterm of the second term.
staticsubterm(Subterm,Term)subterm(?term,+term) - zero_or_morevalid/1¶
Term is valid.
staticvalid(Term)valid(@nonvar) - zero_or_onecheck/1¶
Checks if a term is valid. Throws an exception if the term is not valid.
staticcheck(Term)check(@nonvar) - onevariant/2¶
Each term is a variant of the other (i.e. they are structurally equivalent).
staticvariant(Term1,Term2)variant(@term,@term) - zero_or_onevariables/2¶
Returns a list of all term variables (ordered as found when doing a depth-first, left-to-right traversal of Term).
staticvariables(Term,List)variables(@term,-list) - onesingletons/2¶
Returns a list of all term singleton variables (ordered as found when doing a depth-first, left-to-right traversal of Term).
staticsingletons(Term,Singletons)singletons(@term,-list) - oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)