?T =.. ?L ISO
the functor and arguments of term T comprise the list L
?X = ?Y ISO
terms X and Y are unified
+X \= +Y ISO
terms X and Y no not unify
X and Y are either strictly identical or do not unify
acyclic_term(+T) since release 4.3, ISO
term T is a finite (acyclic) term
the Nth argument of term T is A
A is the atom containing the character atoms in list L
A is the atom containing the characters in code-list L
Atom Atom1 concatenated with Atom2 gives Atom12.
Length is the number of characters of the atom Atom.
Code is the character code of the one-char atom Char.
C is a copy of T in which all variables have been replaced by new variables
C is a copy of T in which all variables have been replaced by new variables, and G is a goal for reinstating any attributes in C
Mutable is a new mutable term with current value Datum.
X and Y are constrained to be different.
The goal Goal is blocked on the variable Var.
the principal functor of term T has name F and arity N
The current value of the mutable term Mutable is Datum.
the code-list of atom or number A is L
N is the numeric representation of list of character atoms L
N is the numeric representation of code-list L
number the variables in term T from M to N-1
The characters of SubAtom form a sublist of the characters of Atom, such that the number of characters preceding SubAtom is Before, the number of characters after SubAtom is After, and the length of SubAtom is Length.
subsumes_term(General,Specific) since release 4.3, ISO
Specific is an instance of General
term_variables(+Term,-Variables) since release 4.3, ISO
Variables is the set of variables that occur in Term
True if X and Y unify to a finite (acyclic) term.