Contextualize

[jgarte]

Hi,

Could you give me a quick forest for the trees explanation of what USE_RATIONAL_TREES is about?

https://github.com/trealla-prolog/trealla/blob/v2.63.11/src/unify.c#L45

This will help me contextualize the code base a bit as I read/debug-learn through it.

Thanks!

[infradig]

Rational trees are what some in academic circles like to call cyclic terms... X=f(X) for example. Handling them is difficult to avoid infinite loops.

[jgarte]

Thanks for the explanation.

[infradig]

This special handling adds about 10% overhead.

…

On Mon, 6 Jan 2025, 08:05 Jorge Gomez, ***@***.***> wrote: Thanks for the explanation. — Reply to this email directly, view it on GitHub <#654 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSETHRTLX5PV77NH5EHD2JGUCBAVCNFSM6AAAAABUUOK4UKVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTCNZUGIZTMNA> . You are receiving this because you commented.Message ID: ***@***.***>