% From The Art of EyeProlog, Chapter 3 — Equality, unification, and the occurs check.
cyclic_unification :- X = wrapper(X).