Cyclic terms handlingAuthor(s): Daniel Cabeza, Remy Haemmerle.
This module implements predicates related to cyclic terms. Cyclic (or infinite) terms are produced when unifying a variable with a term which contains that variable.
Usage and interface
Documentation on exports
True if T is acyclic (finite).
Given a term T, U is a finite representation of T as an acyclic term. This representation can be converted back to T using recycle_term/2.