`acyclic_term/1`

`acyclic_term(`

`+Term`)*since release 4.3*

`Term` is currently instantiated to a finite (acyclic) term.

`Term`*term*

True if `X` is finite (acyclic). Runs in linear time.

| ?-X = g(Y), acyclic_term(f(X,X)).X = g(Y) ? yes | ?-X = g(X), acyclic_term(X).no | ?-X = g(X), acyclic_term(f(X)).no

None.

Send feedback on this subject.