SWI-Prolog -- cyclic

Availability:built-in

cyclic_term(@Term)

True if Term contains cycles, i.e. is an infinite term. See also acyclic_term/1 and section 2.17.^{57The
predicates cyclic_term/1
and acyclic_term/1
are compatible with SICStus Prolog. Some Prolog systems supporting
cyclic terms use is_cyclic/1 .}