Next: mpg-ref-add_breakpoint, Previous: mpg-ref-absolute_file_name, Up: mpg-bpr [Contents][Index]
acyclic_term/1
ISOacyclic_term(+Term)
since release 4.3
Term is currently instantiated to a finite (acyclic) 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.