cyclic_term/1¶

"cyclic_term( + T " )

cyclic_term(? Term)*

Succeeds if the graph representation of the term has loops. Say, The representation of a termXthat obeys the equationX=[X]term has a loop from the list to its head.

Succeed if the argument Term is a cyclic term.