Calling them "persistent data structures" is probably more useful. Prolog has "difference lists", which are (currently) pretty unique to Prolog. Its special ca

Calling them "persistent data structures" is probably more useful. Prolog has "difference lists", which are (currently) pretty unique to Prolog. Its special case of variables that can be mutated, but only once, has interesting implications.