 Rational trees in the SWI-Prolog manual

Official implementation manual: www.swi-prolog.org/pldoc/man?section=cyclic

Locator: §2.16, Rational trees (cyclic terms), supported operations and A = f(A) example. No individual author attribution asserted.