% From The Art of EyeProlog, Chapter 2 — Unification.
same_shape(Pair) :- (Pair = pair(X, X)).