Incomplete printing of cyclic term

[flexoron]

v2.33.15

?- [user].
d(A,B,C) :- c(B,D), C=[A|D].
c(c,c).
end_of_file.
   true.

?- d(A,C,A).
   A = [_A|c], C = c.       % unexpected, expecting A = [A|c], C = c.

?- d(A,C,A), write_term(A,[max_depth(3)]).
[_5|c]   A = [_A|c], C = c. % unexpected, expecting something like [[...|c]|c]  A = [A|c], C = c.

[infradig]

Yes... $ tpl y.pl ?- d(A,C,A), write_canonical(A), nl. '.'(A,c) A = [_A|c], C = c. ?-

…

On Thu, Jan 11, 2024 at 8:54 AM flexoron ***@***.***> wrote: v2.33.15 ?- [user]. d(A,B,C) :- c(B,D), C=[A|D]. c(c,c). end_of_file. true. ?- d(A,C,A). A = [_A|c], C = c. % unexpected, expecting A = [A|c] ?- d(A,C,A), write_term(A,[max_depth(3)]). [_5|c] A = [_A|c], C = c. % unexpected, expecting [c,c,...|...], A = [A|c] — Reply to this email directly, view it on GitHub <#464>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSETADLYAEZYBY3ICE23YN4LYZAVCNFSM6AAAAABBVRVFZCVHI2DSMVQWIX3LMV43ASLTON2WKOZSGA3TKMZVGU4TINQ> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[flexoron]

Part I fixed.
Because there are already issues concerning write_term,max_depth open,
this issue has been closed. (#351 #285 ...)

[infradig]

I haven't looked at pt 2

…

On Fri, 12 Jan 2024, 21:55 flexoron, ***@***.***> wrote: Part I fixed. Because there are already issues concerning write_term,max_depth open, this issue has been closed. (#351 <#351> #285 <#285> ...) — Reply to this email directly, view it on GitHub <#464 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSESOKLJKD7IWLOCWXLDYOEQELAVCNFSM6AAAAABBVRVFZCVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQOBYHE3TSMJYGU> . You are receiving this because you commented.Message ID: ***@***.***>