BL A comprehensive description of the features and benefits of Lucid, a multidimensional declarative language based on intensional logic. Lucid programs concisely express multidimensional computations that can be exploited using a novel demand-driven model of computation. Lucid also serves as the basis of a system for programming conventional parallel computers.