New posts in Occurs Check

What occurs-check optimizations is SWI Prolog using?

Does Prolog need GC when the occurs check is globally enabled?

What does Prolog do if you X = f(X)?