Did you know ... | Search Documentation: |
Predicate varnumbers/3 |
>=
Start consistently
replaced by fresh variables. Variables in Term are shared
with Copy rather than replaced by fresh variables.
domain_error(acyclic_term, Term)
if Term is
cyclic.