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