protocol
termp
Term utility predicates protocol.
staticPublic predicates
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. Deprecated. Use the ground/1 standard predicate instead.
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. Deprecated. Use the subsumes_term/2 standard predicate instead.
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) - onenumbervars/3
Grounds a term by replacing all variables with '$VAR'(N) terms with N starting at From. The Next argument is unified with the next value for N after binding all variables.
staticnumbervars(Term,From,Next)numbervars(?term,+integer,?integer) - zero_or_onenumbervars/1
Grounds a term by replacing all variables with '$VAR'(N) terms with N starting at 0.
staticnumbervars(Term)numbervars(?term) - zero_or_onevarnumbers/3
Replaces all '$VAR'(N) sub-terms in a term with fresh variables for all values of N grater or equal to From. Variables in Term are shared with Copy.
staticvarnumbers(Term,From,Copy)varnumbers(@term,+integer,?term) - zero_or_onevarnumbers/2
Replaces all '$VAR'(N) sub-terms in a term with fresh variables for all values of N grater or equal to 0. Variables in Term are shared with Copy.
staticvarnumbers(Term,Copy)varnumbers(@term,?term) - zero_or_oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)
See also