Logical spreadsheet
A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions. In traditional spreadsheet systems, such as Excel, cells are partitioned into "directly specified" cells and "computed" cells and the formulas used to specify the values of computed cells are "functional", i.e.