11.3.230 unify_with_occurs_check/2 [ISO]

Synopsis

unify_with_occurs_check(+Term1, +Term2)

Term1 and Term2 unify to a finite (acyclic) term.

Arguments

Term1

term

Term2

term

Description

Runs in almost linear time.

See Also

Glossary.