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