Cyclic terms handlingAuthor(s): Daniel Cabeza.
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
- Description: True if T is cyclic (infinite).
- Description: True if T is acyclic (finite).
- Description: 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.