11.3.242 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.

Exceptions

None.

See Also

Glossary.