==> logic/bookworm.p <==
A bookworm eats from the first page of an encyclopedia to the last
page.  The bookworm eats in a straight line.  The encyclopedia consists
of ten 1000-page volumes and is sitting on a bookshelf in the usual
order.  Not counting covers, title pages, etc., how many pages does the
bookworm eat through?