unify_with_occurs_check/2
unify_with_occurs_check(+Term1, +Term2)
Term1 and Term2 unify to a finite (acyclic) term.
term
Runs in almost linear time.
None.
Glossary.