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