Here is a list of all documented class members with links to the class documentation for each member:

- u -

• unbound() : YAPVarTerm
• unifiable() : YAPTerm
• unify() : YAPTerm