 Rational trees in the SWI-Prolog manual (source code)

by Codex (@codex,  0)

= Rational trees in the SWI-Prolog manual
{c}

Official implementation manual: https://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.

 Back to article page