% From The Art of Eyepl, Chapter 28 — Relations reveal inverse problems.
rectangle(W, H, Area) :- mul(W, H, Area).