% From The Art of EyeProlog, Chapter 21 — Variants, cycles, and tables.
grows(X) :- grows(wrapper(X)).