Documentation Prolog Predicate Reference builtin acyclic_term/1

acyclic_term/1

Check if term has no cycles.

Description

acyclic_term( @term )

acyclic_term(Term) is true if and only if Term has no cycles, i.e., Term can be resolved recursiverly in a finite time.

Implementation