On 12/9/21 23:49, Daniel Diaz wrote:
Acyclic terms are not supported but the predicate acyclic_term/1 if provided to test if a term is acyclic. You can use it before printing a term. The top-level does this before printing a solution (else it emits the error message you mentioned).
This all sounds clear but unfortunately it is offputting to newcomers. Wouldn't it be better if write/1 also checked for cyclic terms?
Yes, that'd be more expensive but the expense would be worth it for the ordinary user. Perhaps there could be a way for an experienced user to turn it off in applications where write/1 performance is that much of an issue
