Next: mpg-ref-unknown, Previous: mpg-ref-true, Up: mpg-bpr
unify_with_occurs_check/2
unify_with_occurs_check(+Term1, +Term2)
unify_with_occurs_check(
,
)
Term1 and Term2 unify to a finite (acyclic) term.
Runs in almost linear time.
None.
Glossary.