11.3.4 acyclic_term/1   ISO

Synopsis

acyclic_term(+Term)   since release 4.3

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

Arguments

Term

term

Description

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

Examples

| ?- 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

Exceptions

None.

See Also

ref-lte-act.