acyclic_term/1

Description

acyclic_term/1 is a predicate that checks if the given term is acyclic (does not contain cycles).

Signature

acyclic_term(@Term)

Where:

• Term is the term to check.